Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset
Model Checking Interactor Specifications
An Approach for Recovering Distributed System Architectures
Eight Desert Island Books