@article {icl:385,
	title = {Specification and detection of performance problems with ASL},
	journal = {Concurrency and Computation: Practice and Experience},
	volume = {19},
	number = {11},
	year = {2007},
	month = {2007-01},
	pages = {1451-1464},
	publisher = {John Wiley and Sons Ltd.},
	author = {Michael Gerndt and Karl F{\"u}rlinger}
}
