Egon Börger Elvinia Riccobene Joachim Schmid Capturing Requirements by Abstract State Machines: The Light Control Case Study. 597-620 2000 6 J. UCS 7 db/journals/jucs/jucs6.html#BorgerRS00 http://www.jucs.org/jucs_6_7/capturing_requirements_by_abstract