Enhanced SDL subset for the design and implementation of java-enabled embedded signalling systems - Kavadias, Christoforos; Perrin, Bernard; Kollias, Vangelis; Loupis, Michael (Springer Berlin Heidelberg, 2003)