Theory and practice of sequential machine testing and testability | IEEE Conference Publication | IEEE Xplore