00219nas a2200073   4500000000100000008004100001100001600042245008700058       2009                            d1 aArtur Rataj00aMore flexible models using new version of J2TADD – a translator of Java to TADDs