1 paper
Fardin Abdi, Chien-Ying Chen, Monowar Hasan +3
Many physical plants that are controlled by embedded systems have safety requirements that need to be respected at all times - any deviations from expected behavior can result in d…