Finite-state modeling in software design: some fundamental techniques | IEEE Conference Publication | IEEE Xplore