1. Bolton, W. (1995). Mechatronics: Electronic Control Systems in Mechanical Engineering, Longman Scientific & Technical.
2. Histand, M.B., and Alciatore, D.G. (1999). Introduction to Mechatronics and Measurement Systems, WCB/McGraw-Hill. [international ed.].
3. Winner, H., Prokop, G., and Maurer, M. (2018). Automotive Systems Engineering II, Springer International Publishing.
4. Braid, D.M., Johnson, C.W., and Schillinger, G.D. (2001, January 14–18). An integrated test approach for avionics system development. Proceedings of the 2001 IEEE/AIAA 20th Digital Avionics Systems Conference, Daytona Beach, FL, USA.
5. Proof of Concept on Application of Formal Methods at different phases of development cycle of Avionics Software A Landscaping;Mitra;INCOSE Int. Symp.,2016