Understanding Formal Methods. Springer, 2003.