Formal manipulation of Forrester diagrams by graph grammars | IEEE Journals & Magazine | IEEE Xplore