author = { Ovatman, Tolga AND Brekling, Aske W. AND Hansen, Michael R. },

title = { Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata },

publisher = {Elsevier BV},

isbn = {1571-0661},

keywords = { General Computer Science , Theoretical Computer Science },

year = {2010},

url = { http://slubdd.de/katalog?TN_libero_mab2 }