Jean-Pierre Talpin Paul Le Guernic An algebraic theory for behavioral modeling and protocol synthesis in system design. 131-151 2006 28 Formal Methods in System Design 2 http://dx.doi.org/10.1007/s10703-006-7845-7 db/journals/fmsd/fmsd28.html#TalpinG06