@inproceedings {271, title = {Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models}, booktitle = {Proc. Fourth IEEE Int. Symposium on High Assurance Systems Engineering (HASE{\textquoteright}99)}, year = {1999}, month = {1999}, pages = {37 - 45}, publisher = {IEEE Computer Society Press}, organization = {IEEE Computer Society Press}, author = {Mario Dal Cin and G{\'a}bor Huszerl and Konstantinos Kosmidis} }