Erzsébet Németh, Tamás Bartha. Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications. In Darren D. Cofer, Alessandro Fantechi, editors, Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L Aquila, Italy, September 15-16, 2008, Revised Selected Papers. Volume 5596 of Lecture Notes in Computer Science, pages 199-214, Springer, 2008. [doi]
Abstract is missing.