A new text/reference on formal method and techniques and tools for software development project design. Essential book for software engineers in R&D departments in industry, as well as for graduate students.