Text this: Modeling and control of logical discrete event systems /