Modeling software with finite state machines: a practical approach - Wagner, Ferdinand (2006)
Keywords: GEN