TY - JOUR T1 - Executable requirements specifications using triggered message sequence charts JF - Distributed Computing and Internet Technology Y1 - 2005 A1 - Sengupta,B. A1 - Cleaveland, Rance ER -