Error Detection in Multiple State Diagrams.

Published in: Software Engineering Research and Practice (2008)