Frits W. Vaandrager Adriaan de Groot Analysis of a biphase mark protocol with Uppaaland PVS. 433-458 2006 18 Formal Asp. Comput. 4 http://dx.doi.org/10.1007/s00165-006-0008-1 db/journals/fac/fac18.html#VaandragerG06