Bringing requirements engineering to formal methods : timing diagrams for Event-B and KAOS. - Tossaporn Joochim (2010)