On Real-Time Program Specification Description with a Data Model-Based Language.

Katsumi Okamoto, Masaaki Hashimoto

Browse the full ICCI paper archive.