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 (Jul. 2020), 27.