A Generic Process and its Tool Support towards Combining UML and B for Safety Critical Systems. - Akram Idani; Jean-Louis Boulanger; Laurent Philippe 002 (CAINE, 2007)

Linking Paradigms in Safety Critical Systems. - Akram Idani; Jean-Louis Boulanger; Laurent Philippe 002 (Int. J. Comput. Their Appl., 2009)