Handling Safety Critical Requirements in System Engineering Using the B Formal Method .

D. Essame

Browse the full SAFECOMP paper archive.