The Safety-Critical Java Mission Model: A Formal Account.

Frank Zeyda, Ana Cavalcanti, Andy J. Wellings

Browse the full ICFEM paper archive.