1. Tacit and Explicit Knowledge;Collins,2010
2. Model based testing;Schieferdecker;IEEE Softw.,2012
3. Encyclopedia of Computer Science and Technology;Belzer,1975
4. CSP parallel composition of aspect models;McNeile,2008
5. Introduction to Process Algebra;Fokkink,2000