The Priced-Timed Maude Tool. - Leon Bendiksen; Peter Csaba Ölveczky (CALCO, 2009)