Modeling a Door Controller Protocol in LOOPN. - Charles A. Lakos; Chris D. Keen (TOOLS (10), 1993)

State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method. - Charles A. Lakos; Lars Michael Kristensen (ATVA, 2005)