Structured specification of model interpreters | IEEE Conference Publication | IEEE Xplore