System Specification & Design Languages Best of FDL’02 - Villar, Eugenio; Mermet, Jean (Springer US, 2003)