Team Automata is a formalism for interacting component-based systems proposed in 1997,
whereby multiple sending and receiving actions from concurrent automata can synchronise …

Contract automata facilitate the specification, composition, and synthesis of behavioural
contracts, comprehending modalities and configurations. Contract automata are supported …

We present an application of strategy synthesis to enforce spatial properties. This is
achieved by implementing a toolchain that enables the tools CATLib and VoxLogicA to …

We investigate the application of strategy synthesis to enforce spatial properties. The
Contract Automata Library (CATLib) performs both composition and strategy synthesis of …

We equip a recently developed model for the specification of service contracts with real-time
constraints. Service contracts offer a means to define the behavioural compliance of a …

Supervisory control theory provides means to synthesize supervisors for a cyber-physical
system based on models of the uncontrolled system components and models of the control …

Featured transition systems (FTSs) and modal transition systems (MTSs) are two of the most
prominent and well-studied formalisms for modeling and analyzing behavioral variability as …

Cardinality-based feature models permit to select multiple copies of the same feature, thus
generalizing the notion of product configurations from subsets of Boolean features to …

Featured modal contract automata (FMCA) have been proposed as a suitable formalism for
modelling contract-based dynamic service product lines. A contract is a behavioural …

In the coming decades, numerous locks and bridges in the Netherlands have to be
renovated or replaced, as they reach their end of life cycle or have capacity problems. In the …