Lightweight Model-Based Testing for Enterprise IT | IEEE Conference Publication | IEEE Xplore