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