@phdthesis{G\"01,
title = {Compositional Modelling of Real-Time Systems --- Theory and Practice },
author = {Goessler, Gregor},
year = {2001},
address = {Grenoble, France},
school = {Universit\'e Joseph Fourier},
team = {DCS},
}