Bing Wang Jan Himmelspach Roland Ewald Yiping Yao Adelinde M. Uhrmacher An experimental analysis environment for logical process simulation algorithms. 40 2009 SimuTools http://doi.acm.org/10.1145/1537614.1537665 conf/simutools/2009 db/conf/simutools/simutools2009.html#WangHEYU09