Formal Techniques For Networked And Distributed Systems by Myungchul Kim