Suhaib, Mathaikutty, Shukla, Berner, Talpin, 2006. A Functional Programming Framework for Latency Insensitive Protocol Validation 146.. https://doi.org/10.1016/j.entcs.2005.05.041