A Yourdon-based state transition logic approach to software design and implementation | IEEE Conference Publication | IEEE Xplore