Elzer Peter, F., Martin Gollub, and Sven Trenkel. 2013. “A Simple and Cost-Effective Method to Construct Reliable Real-Time Programs”. Journal of Automation, Mobile Robotics and Intelligent Systems 4 (1): 28-42. https://www.jamris.org/index.php/JAMRIS/article/view/102.