Details for the publication Jansen03DT.

David N. Jansen (): Extensions of Statecharts with probability, time, and stochastic timing. University of Twente, Enschede, Netherlands, 2003. URL BIB