Martyn Thomas, Alexander Romanovsky. Introducing Formal Methods into Existing Industrial Practices. In Alexander Romanovsky, Martyn Thomas, editors, Industrial Deployment of System Engineering Methods. pages 145-156, Springer, 2013. [doi]
Abstract is missing.