Alfred Kölbl Carl Pixley Constructing Efficient Formal Models from High-Level Descriptions Using Symbolic Simulation. 645-666 2005 33 International Journal of Parallel Programming 6 http://dx.doi.org/10.1007/s10766-005-8910-3 db/journals/ijpp/ijpp33.html#KolblP05