Title: Interacting discrete event systems
First published: 2002