Multi-threaded Java Design Using Finite State Processes (FSP) and the Labeled Transition System Analyzer. - D. D. Rice; Gardiner S. Stiles (PDPTA, 2002)