Loading Ebook: Tools And Algorithms For The Construction And Analysis Of Systems