Veríssimo, et al.. Distributed Computer-controlled Systems: The Dear-cots Approach 1. no. 30, Elsevier BV, 2000, doi:10.1016/s1474-6670(17)36739-3.