Maude- based design space exploration of embedded systems | IEEE Conference Publication | IEEE Xplore