The servitisation of business is moving industry to business models driven by customer
demand. Customer satisfaction is connected with financial rewards, forcing companies to …

Automatic verification has nowadays become a central domain of investigation in computer
science. Over 25 years, a rich theory has been developed leading to numerous tools, both in …

We lay out a general method for computing branching distances between labeled transition
systems. We translate the quantitative games used for defining these distances to other, path …