Formal specification and simulation of software through graph grammars: a general but minimal approach | IEEE Conference Publication | IEEE Xplore