Distributed systems
Model systems with undetermined number of components (spotlight approach: specify the interfaces of black-box external components for checking) Driver support for ad-hoc or mesh communication protocols
@sergio.feo.arenis : please elaborate