An Introduction toPractical Formal Methods Using Temporal Logic 
Fisher Michael 
<br/><br/><label>ISBN: </label>9780470027882  Available 
<br/><br/><label>LC Class. No.: </label>511.3FIS