Jens Brandt, Mike Gemünde, Klaus Schneider 0001, Sandeep K. Shukla, Jean-Pierre Talpin. Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions. Design Autom. for Emb. Sys., 18(1-2):63-97, 2014. [doi]
Abstract is missing.