Safety-Critical Electrical Drives - Bolvashenkov (Springer International Publishing, 2018)