On the usability of process algebra: An architectural view
Component-oriented verification and diagnosis
scientific article; zbMATH DE number 2174878