Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions