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