1
Integration of structured analysis and timed statecharts for real time and concurrency specification.
Book
Other Personal Name(s): ...Beeck, Michael von der....