Error-Driven Adaptive, Virtual Machine Model-Based Control with High Availability Platform | IEEE Conference Publication | IEEE Xplore