Error detection and change propagation in a collaborative, multi-tool engineering environment by Alexander Egyed (Johannes Kepler Universität Linz)