“Information processing systems—Open systems inter- connection—Enhancements to LOTOS—A formal des- cription technique based on the temporal ordering of observational behavior,” ISO/IEC 15437, 2001.
 C. Attiogbe, P. Poizat, and G. Salaun, “A formal and tool-equipped approach for the integration of state diagrams and formal datatypes,” IEEE Transactions on Software Engineering, Vol. 33, No. 3, pp. 157–170, March 2007.
 A. Isazadeh, D. A. Lamb, and G. H. MacEwen, “View- charts: A behavioral specification language for complex systems,” Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems, Honolulu, Hawaii, pp. 208–215, April 1996.
 A. E. Ansary, “Requirements definition of real-time system using the Behavioral Patterns Analysis (BPA) approach: The elevator control system,” Proceedings of the Second International Conference on Software and Data Technologies, Barcelona, pp. 371–377, July 2007.
 K. Hashim and J. Yousoff, “A behavioral requirements specification approach for interactive multimedia appli- cations,” Proceedings of the 19th Australian Conference on Software Engineering, Perth, West Australia, pp. 696–699, March 2008.
 L. Lavazza and V. D. Bianco, “Combining problem frames and UML in the description of software require- ments,” In: B. Luciano, H. Reiko, Ed., Lecture Notes in Computer Science, Vol. 3922, pp. 199–213, 2006.
 P. Colombo, V. del Bianco, and L. Lavazza, “Towards the integration of sysml and problem frames,” Proceedings of the 3rd International Workshop on Applications and Advances of Problem Frames, Leipzig, pp. 1–8, May 2008.
 A. Refsdal and K. Stolen, “Extending UML sequence diagrams to model trust-dependent behavior with the aim to support risk analysis,” Science of Computer Program- ming, Vol. 74, No. 1–2, pp. 34–42, January 2008.