https://9lib.org/document/yr38ow8y-synchronization-linearity-algebra-discrete-event-systems.html