Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. SMA - The Smyle Modeling Approach. In Zbigniew Huzar, Radek Kocí, Bertrand Meyer, Bartosz Walter, Jaroslav Zendulka, editors, Software Engineering Techniques - Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers. Volume 4980 of Lecture Notes in Computer Science, pages 103-117, Springer, 2008. [doi]
Abstract is missing.