"Structuring Criteria for Real Time System Design."

Hassan Gomaa (1989)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics