Experiences from a Large Industrial Circuit Design Application. - Thomas Filkorn; Richard Schmid; Erik Tidén; Peter Warkentin (ISLP, 1991)

Structural FSM traversal. - Dominik Stoffel; Markus Wedler; Peter Warkentin; Wolfgang Kunz (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2004)