Formal Techniques for Networked and Distributed Systems : FORTE 2001 - Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee ((IFIP Advances in Information and Communication Technology))