A metamodel for the design of polychronous systems (2009)

by C Brunette, J-P Talpin, A Gamatié, T Gautier
Venue:The Journal of Logic and Algebraic Programming