@inproceedings{APSEC.2002.405-414,
 author = {Jing Sun and Jin Song Dong},
 title = {{Specifying and Reasoning about Generic Architecture in TCOZ}},
 booktitle = {APSEC '02: Proceedings of the Ninth Asia-Pacific Software Engineering Conference},
 location = {Gold Coast, Australia},
 month = {December},  
 year = {2002},
 isbn = {0-7695-1850-8},
 pages = {405-414},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 url = {http://ieeexplore.ieee.org/iel5/8424/26540/01183010.pdf}
}