Tools and Algorithms For the Construction and Analysis Of Systems

Includes bibliographical references and index.