Formal Techniques for Networked and Distributed Systems FORTE 2001 - Myungchul Kim; Byoungmoon Chin; Sungwon Kang; Danhyung Lee (Springer US, 2001)