Software Component Verification: On Translating Behavior Protocols to Promela
KOFROŇ, Jan. <em>Software Component Verification: On Translating Behavior Protocols to Promela</em>. Prague: Department of Software Engineering, Charles University, 2006. Technical Report, 2006/11.