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