@article{IEE-Software.2006.102-112,
 author = {Jing Sun and Jin Song Dong and Stanislaw Jarzabek and Hai Wang},
 title = {{Computer-Aided Dispatch System Family Architecture and Verification: An Integrated Formal Approach}},
 journal = {IEE Proceedings - Software},
 volume = {153},
 number = {3},
 month = {June}
 year = {2006},
 issn = {1462-5970},
 pages = {102-112},
 publisher = {Institution of Engineering and Technology},
 address = {Stevenage, Herts, United Kingdom},
 url = {http://ieeexplore.ieee.org/iel5/5658/34486/01645517.pdf?isnumber=34486&arnumber=1645517}
}