Robin A. Nicholl Unreachable States in Model-Oriented Specifications. 472-477 http://doi.ieeecomputersociety.org/10.1109/32.54300 1990 16 IEEE Trans. Software Eng. 4 db/journals/tse/tse16.html#Nicholl90