Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela.

Georgiana Caltais, Stefan Leue, Hargurbir Singh

Browse the full MODELSWARD paper archive.