Durodie, Y.; Bahadur Singh, V. A Design-by-Contract Approach to Distributed Embedded Software. MODPROD 2020, 21, 27.