Ebook Models Of Software Architecture: Design And Analysis With Uml And Petri Nets 2000