Service Engineering with the SIMS Design and Validation Tools. - Cyril Carrez; Lotte Johansen; Pawel Cieslak; Stefan Hänsgen (Nord. J. Comput., 2008)