@inproceedings {277, title = {A Framework for the Development and Testing of Mission-Critical Applications}, booktitle = {PROC. 5. National Conference on Object-Orientation (OOOK-2002)}, year = {2002}, month = {2002}, pages = {\& - }, author = {G{\'a}bor Huszerl and Istv{\'a}n Majzik and Zsigmond Pap and Andr{\'a}s Pataricza and D{\'a}niel Petri and D{\'a}niel Varr{\'o}} }