Strong Safe Realizability of Message Sequence Chart Specifications. - Abdolmajid Mousavi; Behrouz Homayoun Far; Armin Eberlein; Behrouz Heidari (FSEN, 2007)