Y. Durodie and V. Bahadur Singh, “A Design-by-Contract Approach to Distributed Embedded Software”, MODPROD, vol. 21, no. 13, p. 27, Jul. 2020.