Daniel Pilaud: Méthode de conception descendante de systèmes temps réel. Grenoble Institute of Technology, France 1982