APA Style

Sankaranarayanan, S., Vicario, E. (2015). Formal Modeling and Analysis of Timed Systems . Cham: Springer.

MLA Style

Sankaranarayanan, Sriram., Vicario, Enrico. "Formal Modeling and Analysis of Timed Systems". Cham: Springer, 2015. Text.