Lin Padgham John Thangarajah Michael Winikoff Prometheus Design Tool. 1882-1883 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#PadghamTW08