Merkliste 
 1 Ergebnisse 
 
1

A rigorous approach to availability modeling:

, In: Proceedings of the 4th International Workshop on Modeling in Software Engineering,