@inproceedings{inproceedingsb60420a7,
title   = {ECSS - A tool using adaptive statecharts for Evaluation of Critical Systems Specifications},
author = {Almeida Junior, Jorge Rady de and Camargo Júnior, João Batista},
year = {1999},
publisher = {System Safety Society},
booktitle   = {International System Safety Conference}
}