Elzer Peter, F., Martin Gollub, and Sven Trenkel. “A Simple and Cost-Effective Method to Construct Reliable Real-Time Programs”. Journal of Automation, Mobile Robotics and Intelligent Systems 4, no. 1 (January 22, 2013): 28–42. Accessed May 15, 2025. https://jamris.d.tomp.pl/index.php/JAMRIS/article/view/102.