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

Construction and analysis of causally dynamic hybrid bond graphs. - Rebecca Margetts; Roger Fotsu Ngwompo; Marcelin Fortes da Cruz (J. Syst. Control. Eng., 2013)