A review of real-time software engineering methodologies for developing a wall-climbing robot control firmware | IEEE Conference Publication | IEEE Xplore