A GSMP Formalism for Discrete Event Systems (1989)

by P W Glynn