An integrated design methodology for safety critical systems | IEEE Conference Publication | IEEE Xplore