Durodie, Y., & Bahadur Singh, V. (2020). A Design-by-Contract Approach to Distributed Embedded Software. Center for Model-Based Cyber-Physical Product Development, 21(13), 27. Retrieved from https://wcc.ep.liu.se/index.php/MODPROD/article/view/125