Kornecki, Zalewski, 2010. Hardware certification for real-time safety-critical systems: State of the art 34.. https://doi.org/10.1016/j.arcontrol.2009.12.003