P. David Stotts William Pugh Parallel finite automata for modeling concurrent software systems. 27-43 1994 27 Journal of Systems and Software 1 http://dx.doi.org/10.1016/0164-1212(94)90112-0 db/journals/jss/jss27.html#StottsP94