Perathoner, Simon Modular performance analysis of embedded real-time systems: improving modeling scope and accuracy. (English) Zbl 1238.68010 Technische Informatik; TIK-Schriftenreihe 127. Aachen: Shaker Verlag; Zürich: ETH Eidgenössische Technische Hochschule Zürich (Diss. ETH No. 19648) (ISBN 978-3-8440-0229-4/pbk). x, 221 p. (2011). Reviewer: Pierre Leone (Carouge) MSC: 68-02 68M20 PDFBibTeX XMLCite \textit{S. Perathoner}, Modular performance analysis of embedded real-time systems: improving modeling scope and accuracy. Aachen: Shaker Verlag; Zürich: ETH Eidgenössische Technische Hochschule Zürich (Diss. ETH No. 19648) (2011; Zbl 1238.68010) Full Text: Link
Furfaro, Angelo; Nigro, Libero; Pupo, Francesco Modular design of real-time systems using hierarchical communicating real-time state machines. (English) Zbl 1103.68380 Real-Time Syst. 32, No. 1-2, 105-123 (2006). MSC: 68M14 PDFBibTeX XMLCite \textit{A. Furfaro} et al., Real-Time Syst. 32, No. 1--2, 105--123 (2006; Zbl 1103.68380) Full Text: DOI