A survey on modeling issues using the machine description language LISA | IEEE Conference Publication | IEEE Xplore