Safety Conflict Analysis in Medical Cyber-Physical Systems Using an SMT-Solver.
Jan KühnPierre SchoonbroodAndré StollenwerkChristian BrendleNabil WardehMarian WalterRolf RossaintSteffen LeonhardtStefan KowalewskiRüdiger KoppPublished in: Software Engineering (Workshops) (2015)