Static Analysis by Alan Mycroft