SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts. - Sara Van Langenhove; Albert Hoogewijs (WADT, 2006)

Towards the Correctness of Software Behavior in UML: A Model Checking Approach Based on Slicing. - Sara Van Langenhove (2006)