Measuring the performance of asynchronous systems with PAFAS
scientific article; zbMATH DE number 2174876