Renamed Device to IrreducibleCPS to make it atomic without requiring it to be a standalone device -- think mother board with several controllers and sensors talking over a bus that is a trace.
Renamed Device to IrreducibleCPS to make it atomic without requiring it to be a standalone device -- think mother board with several controllers and sensors talking over a bus that is a trace.

mbalduccini/cpsframework,mbalduccini/cpsframework