Concurrent and Real-Time Systems door Steve Schneider & S.A. Schneider