1. Normative system games;Agotnes,2007
2. Communicating hierarchical state machines;Alur,1999
3. How to Do Thing with Words;Austin,1976
4. Automatic composition of e-services that export their behavior;Berardi;ICSOC,2003
5. Capturing requirements from expected interactions between software and its interactive environment: an ontology based approach;Chen;International Journal of Software Engineering and Knowledge Engineering,2016