SV<sub>t</sub>L: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts.

Sara Van Langenhove Albert Hoogewijs SV<sub>t</sub>L: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts. 142-155 2006 conf/wadt/2006 WADT http://dx.doi.org/10.1007/978-3-540-71998-4_9 db/conf/wadt/wadt2006.html#LangenhoveH06