@inproceedings{ICECCS.2008.25-34,
 author = {Stephen Wong and Jing Sun and Ian Warren and Jun Sun},
 title = {{A Scalable Approach to Multi-Style Architectural Modeling and Verification}},
 booktitle = {ICECCS '08: Proceedings of the 13th IEEE International Conference on Engineering of Complex Computer Systems},
 month = {April},
 year = {2008},
 location = {Belfast, Northern Ireland}, 
 isbn = {978-0-7695-3139-7},
 pages = {25-34},
 doi = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2008.16},
 publisher = {IEEE Computer Society},
 address = {Los Alamitos, CA, USA}
}