Title: Formal Methods in Safety Critical Systems (Iee Pab Report, No 9)