Microprocessor Systems Modeling with MODLAN | IEEE Conference Publication | IEEE Xplore