“Formal Specification of a Wall-Climbing Robot Using Z – A Case Study of Small-Scale Embedded Hard Real-Time System”, JT, vol. 34, no. 1, p. 25–40, Jan. 2012, doi: 10.11113/jt.v34.645.