Capturing requirements by Abstract State Machines: The Light Control case study (2000)

by Egon Borger, Elvinia Riccobene, Joachim Schmid
Venue:Journal of Universal Computer Science