Formal Specification of a Wall-Climbing Robot Using Z – A Case Study of Small-Scale Embedded Hard Real-Time System. J. Teknol. [Internet]. 2012 Jan. 20 [cited 2026 Sep. 13];34(1):25–40. Available from: https://journals.utm.my/jurnalteknologi/article/view/645