Mehmet Bülent Özcan;Jawed Siddiqi
-;-
Towards quality requirements via animated formal specifications
Annals of Software Engineering