Wang, et al.. Plug-and-play Architectural Design and Verification. Springer Berlin Heidelberg, 2008, doi:10.1007/978-3-540-85571-2_12.