Durodie, Yuri, and Vijay Bahadur Singh. “A Design-by-Contract Approach to Distributed Embedded Software”. Center for Model-Based Cyber-Physical Product Development 21, no. 13 (July 16, 2020): 27. Accessed April 20, 2024. https://wcc.ep.liu.se/index.php/MODPROD/article/view/125.