Formal Specification of a Wall-Climbing Robot Using Z – A Case Study of Small-Scale Embedded Hard Real-Time System. Jurnal Teknologi (Sciences & Engineering), v. 34, n. 1, p. 25–40, 20 Jan.2012.