Virtual automation environment : design, modeling, visualization, simulation - MAYR, HERWIG (Mathematical Methods in Technology., 2002)