Personalizing medical treatments based on ambient information: towards interoperable monitoring applications
Software Components: a Formal Semantics Based on Coloured Petri Nets
A tool-supported design framework for safety critical interactive systems