Bikram Sengupta, Rance Cleaveland. Executable Requirements Specifications Using Triggered Message Sequence Charts. In Goutam Chakraborty, editor, Distributed Computing and Internet Technology, Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings. Volume 3816 of Lecture Notes in Computer Science, pages 482-493, Springer, 2005. [doi]
Abstract is missing.