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