Applications of Process Algebra by Jos C.M. Baeten