AMBERS: Improving Requirements Specification Through Assertive Models and SCADE/DOORS Integration. - Marcelin Fortes da Cruz; Paul Raistrick (SSS, 2007)