Formal Techniques For Networked And Distributed Systems door Myungchul Kim