Title: A state transition network editor
First published: 1997