SPEEDS: A New Technique for the Analysis of Discrete Event Dynamic Systems Division of Applied Sciences Technical Report , Harvard University, February 1983.