00232nas a2200085   4500000000100000000000100001008004100002100001600043245008700059       2009                            d1 aArtur Rataj00aMore flexible models using new version of J2TADD – a translator of Java to TADDs