“Formal Specification of a Wall-Climbing Robot Using Z – A Case Study of Small-Scale Embedded Hard Real-Time System”. Jurnal Teknologi 34, no. 1 (January 20, 2012): 25–40. Accessed July 23, 2024. https://journals.utm.my/jurnalteknologi/article/view/645.