Sharam Hekmatpour
Open Univ., UK
Towards quality requirements via animated formal specifications
Annals of Software Engineering