An Empirical Study on MBASE and LeanMBASE | IEEE Conference Publication | IEEE Xplore