Decotignie, Jean-DominiqueKoppenhoefer, Shawn2005-03-162005-03-16199610.5075/epfl-thesis-1576https://infoscience.epfl.ch/handle/20.500.14299/210061enA formal synchronous model for distributed time-critical control-systemsthesis::doctoral thesis