related documents A comparative survey of scenario-based to state-based model synthesis approaches Conferences Model comparison Conferences Towards specification, modelling and analysis of fault tolerance in self managed systems Conferences
