1. Youn, W.K., Hong, S.B., Oh, K.R., Ahn, O.S.: Software certification of safety-critical avionic systems: DO-178C and its impacts. IEEE Aerosp. Electron. Syst. Mag. 30(4), 4–13 (2015). https://doi.org/10.1109/MAES.2014.140109
2. Sharvia, S., Papadopoulos, Y.: Integrating model checking with HiP-HOPS in model-based safety analysis. Reliab. Eng. Syst. Saf. 135, 64–80 (2015)
3. Clarke, E.M., Grumberg, O., Kroening, D., Peled, D., Veith, H.: Model checking, 2nd edn. The MIT Press, MA (2018)
4. Reinertsen, D.G.: The Principles of Product Development Flow: Second Generation Lean Product Development, 1st edn. Celeritas Publishing, Redondo Beach, CA (2009)
5. Institute of Electrical and Electronics Engineers. IEEE Standard for system, software, and hardware verification and validation (IEEE Standard No. 1012-2016) https://standards.ieee.org/standard/1012-2016.html