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