Generic Navigation of Model-Based Development Artefacts | IEEE Conference Publication | IEEE Xplore