A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems