@inbook{f080088ffae846da8a44ffea3fb9c3ed,
title = "Analyzing Properties of Stochastic Business Processes By Model Checking",
abstract = "This chapter presents an approach to precise formal analysis of business processes with stochastic properties. The method presented here allows for both qualitative and quantitative properties to be individually analyzed at design time without requiring a full specification. This provides an effective means to explore possible designs for a business process and to debug any flaws.",
author = "Herbert, {Luke Thomas} and Robin Sharp",
year = "2013",
language = "English",
series = "Advances in Computational Sciences and Information in Engineering (ACIER)",
publisher = "American Society of Mechanical Engineers",
pages = "3--40",
booktitle = "Model Checking Business Processes",
address = "United States",
}