MAFALDA-RT: a tool for dependability assessment of real-time systems | IEEE Conference Publication | IEEE Xplore