Bernardo, M. (Hrsg.) (2004) „Formal methods for the design of real-time systems : revised lectures“, Lecture notes in computer science. Berlin: Springer (Lecture notes in computer science, Vol. 3185 : Tutorial).
Chicago Manual of Style 17th edition (full note)Bernardo, Marco, Hrsg. „Formal methods for the design of real-time systems : revised lectures“. Book. Lecture notes in computer science. Lecture notes in computer science Vol. 3185 : Tutorial. Berlin: Springer, [2004?], Berlin: Springer, [2004?].
American Psychological Association 7th editionBernardo, M. (Hrsg.). (ca. 2004). Formal methods for the design of real-time systems : revised lectures [Book]. In Lecture notes in computer science. Springer.
Modern Language Association 9th editionBernardo, M., Herausgeber. „Formal methods for the design of real-time systems : revised lectures“. Lecture notes in computer science, book, Springer, 2004.
ISO-690 (author-date, Deutsch)BERNARDO, Marco (Hrsg.). [book]. 2004. Berlin: Springer. Lecture notes in computer science, Vol. 3185 : Tutorial. ISBN 3540230688