TY - CONF A1 - Wenzl, Matthias A1 - Fibich, Christian A1 - Rössler, Peter A1 - Taucher, Herbert A1 - Matschnig, Martin T1 - Logic Synthesis of Assertions for Saftey-critical Applications T2 - Proceedings of the 2015 International Conference on Industrial Technology (ICIT), March 17-19, 2015 KW - Safety Y1 - UR - http://opus.technikum-wien.at/frontdoor/index/index/docId/498 ER -