1. An improved formal failure analysis approach for safety-critical system based on MBSA. (December 2017) Authors: Chen, Lu; Jiao, Jian; Wei, Qianxin; Zhao, Tingdi Journal: Engineering failure analysis Issue: Volume 82(2017) Page Start: 713 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗