Jan Olaf Blech. A Tool for the Certification of Sequential Function Chart based System Specifications. In Jörg Brauer, Marco Roveri, Hendrik Tews, editors, 6th International Workshop on Systems Software Verification, SSV 2011, August 26, 2011, Nijmegen, The Netherlands. Volume 24 of OASICS, pages 57-70, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2011. [doi]
Abstract is missing.