Mlav: the object-oriented methodology of the virtual automation lab | IEEE Conference Publication | IEEE Xplore