On test generation for interconnected finite-state machines-the output sequence justification problem | IEEE Conference Publication | IEEE Xplore