Piotr Dziurzanski Modelling of Complex Systems Given as a Mealy Machine with Linear Decision Diagrams. 758-765 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2658&spage=758 2003 conf/iccS/2003-2 International Conference on Computational Science db/conf/iccS/iccS2003-2.html#Dziurzanski03