Use either the ISBN or the title of the book that is mentioned in Strategies for Real-Time System Specification, then click "Connect".