P. Graubmann
-
A petri-net-based synthesis methodology for use-case-driven system design
Journal of Systems and Software