MAPA: implementation of standard interchange format and use of analyzing lattices | IEEE Conference Publication | IEEE Xplore