PAT's bib database
@inproceedings{LiuSD08,
author = {Yang Liu and Jun Sun and Jin Song Dong},
title = {An Analyzer for Extended Compositional Process Algebras},
booktitle = {ICSE Companion},
publisher = {ACM},
year = {2008},
isbn = {978-1-60558-079-1},
pages = {919-920},
}
@inproceedings{SunLDS08,
author = {Jun Sun and Yang Liu and Jin Song Dong and Jing Sun},
title = {Bounded Model Checking of Compositional Processes},
booktitle = {Proceedings of the Second IEEE International Symposium on Theoretical Aspects of Software Engineering},
publisher = {IEEE},
pages = {23-30},
publisher = {IEEE Computer Society},
year = {2008},
}
@inproceedings{SunLD08b,
author = {Jun Sun and Yang Liu and Jin Song Dong},
title = {Model Checking CSP Revisited: Introducing a Process Analysis Toolkit},
booktitle = {Proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008)},
pages = {307-322},
publisher = {Springer},
series = {Communications in Computer and Information Science},
volume = {17},
year = {2008},
}
@inproceedings{SUNLDW08,
author = {Jun Sun and Yang Liu and Jin Song Dong and Hai H. Wang},
title = {Specifying and Verifying Event-based Fairness Enhanced Systems},
booktitle = {Proceedings of the 10th International Conference on Formal Engineering Methods (ICFEM 2008)},
month = {Oct},
pages = {318-337},
year = {2008},
location = {kokura, Japan},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5256},
}
@inproceedings{ZhangLSDCL09,
author = {Shao Jie Zhang and Yang Liu and Jun Sun and Jin Song Dong and Wei Chen and Yanhong A. Liu},
title = {Formal Verification of Scalable NonZero Indicators},
booktitle = {Proceedings of the 21st International Conference on Software Engineering {\&} Knowledge Engineering (SEKE'2009)},
year = {2009},
pages = {406-411},
publisher = {Knowledge Systems Institute Graduate School},
}
@inproceedings{SunLDC09,
author = {Jun Sun and
Yang Liu and
Jin Song Dong and
Chunqing Chen},
title = {Integrating Specification and Programs for System Modeling
and Verification},
booktitle = {Proceedings of the third IEEE International Symposium on Theoretical
Aspects of Software Engineering (TASE'09)},
year = {2009},
pages = {127-135},
publisher = {IEEE Computer Society},
editor = {Wei-Ngan Chin and
Shengchao Qin},
}
@inproceedings{LiuPSZ09,
author = {Yang Liu and
Jun Pang and
Jun Sun and
Jianhua Zhao},
title = {Verification of Population Ring Protocols in PAT},
booktitle = {Proceedings of the third IEEE International Symposium on Theoretical
Aspects of Software Engineering (TASE'09)},
year = {2009},
pages = {81-89},
publisher = {IEEE Computer Society},
editor = {Wei-Ngan Chin and
Shengchao Qin},
}
@inproceedings{DongS09,
author = {Jin Song Dong and Jun Sun},
title = {Towards Expressive Specification and Efficient Model Checking},
booktitle = {Proceedings of the third IEEE International Symposium on Theoretical
Aspects of Software Engineering (TASE'09)},
year = {2009},
pages = {9},
publisher = {IEEE Computer Society},
editor = {Wei-Ngan Chin and
Shengchao Qin},
}
@inproceedings{SunLDP09,
author = {Jun Sun and Yang Liu and Jin Song Dong and Jun Pang},
title = {PAT: Towards Flexible Verification under Fairness},
journal = {Proceedings of the 21th International Conference on Computer Aided Verification (CAV'09)},
year = {2009},
publisher = {Springer},
pages = {709-714},
series = {Lecture Notes in Computer Science},
volume = {5643},
}
@inproceedings{LiuCLS09,
author = {Yang Liu and
Wei Chen and
Yanhong A. Liu and
Jun Sun},
title = {Model Checking Linearizability via Refinement},
booktitle = {Proceedings of the Second World Congress on Formal Methods (FM'09)},
year = {2009},
editor = {Ana Cavalcanti and
Dennis Dams},
pages = {321-337},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5850},
year = {2009},
}
@inproceedings{SunLRLD09,
author = {Jun Sun and
Yang Liu and
Abhik Roychoudhury and
Shanshan Liu and
Jin Song Dong},
title = {Fair Model Checking with Process Counter Abstraction},
booktitle = {Proceedings of the Second World Congress on Formal Methods (FM'09)},
year = {2009},
editor = {Ana Cavalcanti and
Dennis Dams},
pages = {123-139},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5850},
year = {2009},
}
@inproceedings{SunLDZ09,
author = {Jun Sun and
Yang Liu and
Jin Song Dong and
Xian Zhang},
title = {Verifying Stateful Timed CSP Using Implicit Clocks and Zone
Abstraction},
booktitle = {Proceedings of the 11th IEEEInternational
Conference on Formal Engineering Methods (ICFEM 2009)},
year = {2009},
editor = {Karin Breitman and
Ana Cavalcanti},
pages = {581-600},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5885},
}
@inproceedings{LiuSD09,
author = {Yang Liu and
Jun Sun and
Jin Song Dong},
title = {Scalable Multi-core Model Checking Fairness Enhanced Systems},
booktitle = {Proceedings of the 11th IEEEInternational
Conference on Formal Engineering Methods (ICFEM 2009)},
year = {2009},
editor = {Karin Breitman and
Ana Cavalcanti},
pages = {426-445},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5885},
}
@inproceedings{ZhangLiu10,
author = {Zhang, Shao Jie and Liu, Yang},
title = {Model Checking a Lazy Concurrent List-Based Set Algorithm},
booktitle = {Proceedings of the 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement},
series = {SSIRI '10},
year = {2010},
isbn = {978-0-7695-4086-3},
pages = {43--52},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA},
}
@article{10.1109/SSIRI.2010.28,
author = {Luu Anh Tuan and Man Chun Zheng and Quan Thanh Tho},
title = {Modeling and Verification of Safety Critical Systems: A Case Study on Pacemaker},
journal ={Secure System Integration and Reliability Improvement},
volume = {0},
isbn = {978-0-7695-4086-3},
year = {2010},
pages = {23-32},
doi = {http://doi.ieeecomputersociety.org/10.1109/SSIRI.2010.28},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
@article{10.1109/SSIRI-C.2010.17,
author = {Huiquan Zhu},
title = {Model Checking C# Code: A Translation Approach},
journal ={Secure Software Integration and Reliability Improvement Companion, IEEE International Conference on},
volume = {0},
isbn = {978-0-7695-4087-0},
year = {2010},
pages = {30-31},
doi = {http://doi.ieeecomputersociety.org/10.1109/SSIRI-C.2010.17},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
@article{10.1109/SSIRI-C.2010.20,
author = {Tian Huat Tan},
title = {Towards Verification of a Service Orchestration Language},
journal ={Secure Software Integration and Reliability Improvement Companion, IEEE International Conference on},
volume = {0},
isbn = {978-0-7695-4087-0},
year = {2010},
pages = {36-37},
doi = {http://doi.ieeecomputersociety.org/10.1109/SSIRI-C.2010.20},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
@article{10.1109/SSIRI-C.2010.14,
author = {Songzheng Song},
title = {An Efficient Method of Probabilistic Model Checking},
journal ={Secure Software Integration and Reliability Improvement Companion, IEEE International Conference on},
volume = {0},
isbn = {978-0-7695-4087-0},
year = {2010},
pages = {24-25},
doi = {http://doi.ieeecomputersociety.org/10.1109/SSIRI-C.2010.14},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
@article{10.1109/SSIRI-C.2010.11,
author = {Shao Jie Zhang and Yang Liu},
title = {An Automatic Approach to Model Checking UML State Machines},
journal ={Secure Software Integration and Reliability Improvement Companion, IEEE International Conference on},
volume = {0},
isbn = {978-0-7695-4087-0},
year = {2010},
pages = {1-6},
doi = {http://doi.ieeecomputersociety.org/10.1109/SSIRI-C.2010.11},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
@article{10.1109/SSIRI-C.2010.12,
author = {Man Chun Zheng},
title = {An Automatic Approach to Verify Sensor Network Systems},
journal ={Secure Software Integration and Reliability Improvement Companion, IEEE International Conference on},
volume = {0},
isbn = {978-0-7695-4087-0},
year = {2010},
pages = {7-12},
doi = {http://doi.ieeecomputersociety.org/10.1109/SSIRI-C.2010.12},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
@article{10.1109/SSIRI-C.2010.31,
author = {Nguyen Truong Khanh and Quan Thanh Tho},
title = {Using Multi Decision Diagram in Model Checking},
journal ={Secure Software Integration and Reliability Improvement Companion, IEEE International Conference on},
volume = {0},
isbn = {978-0-7695-4087-0},
year = {2010},
pages = {126-129},
doi = {http://doi.ieeecomputersociety.org/10.1109/SSIRI-C.2010.31},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
@article{10.1109/SSIRI-C.2010.33,
author = {Ling Shi and Yan Liu},
title = {Modeling and Verification of Transmission Protocols: A Case Study on CSMA/CD Protocol},
journal ={Secure Software Integration and Reliability Improvement Companion, IEEE International Conference on},
volume = {0},
isbn = {978-0-7695-4087-0},
year = {2010},
pages = {143-149},
doi = {http://doi.ieeecomputersociety.org/10.1109/SSIRI-C.2010.33},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
@article{10.1109/SSIRI-C.2010.34,
author = {Luu Anh Tuan},
title = {Modeling and Verifying Security Protocols Using PAT Approach},
journal ={Secure Software Integration and Reliability Improvement Companion, IEEE International Conference on},
volume = {0},
isbn = {978-0-7695-4087-0},
year = {2010},
pages = {157-164},
doi = {http://doi.ieeecomputersociety.org/10.1109/SSIRI-C.2010.34},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
@inproceedings{XingSLD10,
author = {Zhenchang Xing and
Jun Sun and
Yang Liu and
Jin Song Dong},
title = {SpecDiff: debugging formal specifications},
year = {2010},
pages = {353-354},
editor = {Charles Pecheur and
Jamie Andrews and
Elisabetta Di Nitto},
booktitle = {ASE 2010, 25th IEEE/ACM International Conference on Automated
Software Engineering, Antwerp, Belgium, September 20-24,
2010},
publisher = {ACM},
year = {2010},
isbn = {978-1-4503-0116-9},
}
@inproceedings{SunSL10,
author = {Jun Sun and
Songzheng Song and
Yang Liu},
title = {Model Checking Hierarchical Probabilistic Systems},
year = {2010},
pages = {388-403},
editor = {Jin Song Dong and
Huibiao Zhu},
booktitle = {Formal Methods and Software Engineering - 12th International
Conference on Formal Engineering Methods, ICFEM 2010, Shanghai,
China, November 17-19, 2010. Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6447},
year = {2010},
}
@inproceedings{LiuSD10,
author = {Yang Liu and
Jun Sun and
Jin Song Dong},
title = {Developing Model Checkers Using PAT},
year = {2010},
pages = {371-377},
editor = {Ahmed Bouajjani and
Wei-Ngan Chin},
booktitle = {Automated Technology for Verification and Analysis - 8th
International Symposium, ATVA 2010, Singapore, September
21-24, 2010. Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6252},
}
@inproceedings{SunLC10,
author = {Jun Sun and
Yang Liu and
Bin Cheng},
title = {Model Checking a Model Checker: A Code Contract Combined
Approach},
year = {2010},
pages = {518-533},
editor = {Jin Song Dong and
Huibiao Zhu},
booktitle = {Formal Methods and Software Engineering - 12th International
Conference on Formal Engineering Methods, ICFEM 2010, Shanghai,
China, November 17-19, 2010. Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6447},
year = {2010},
}
@inproceedings{LiuSD10,
author = {Yang Liu and Jun Sun and
Jin Song Dong},
title = {Analyzing Hierarchical Complex Real-time Systems},
year = {2010},
pages = {365--366},
booktitle = {FSE 2010},
year = {2010},
}
@inproceedings{SunLDPT10,
author = {Jun Sun and Yang Liu and
Jin Song Dong and Geguang Pu and Tian Huat Tan},
title = {Model-based Methods for Linking Web Service Choreography and Orchestration},
year = {2010},
pages = {166 - 175},
booktitle = {APSEC 2010},
year = {2010},
}
@inproceedings{ZhangSPLD11,
author = {Shao Jie Zhang and
Jun Sun and
Jun Pang and
Yang Liu and
Jin Song Dong},
affiliation = {National University of Singapore, Singapore},
title = {On Combining State Space Reductions with Global Fairness Assumptions},
booktitle = {FM 2011: Formal Methods},
series = {Lecture Notes in Computer Science},
editor = {Butler, Michael and Schulte, Wolfram},
publisher = {Springer Berlin / Heidelberg},
pages = {432-447},
volume = {6664},
year = {2011}
}
@inproceedings{Tan0SD11,
author = {Tian Huat Tan and
Yang Liu and
Jun Sun and
Jin Song Dong},
affiliation = {NUS Graduate School for Integrative Sciences and Engineering, Singapore},
title = {Verification of Orchestration Systems Using Compositional Partial Order Reduction},
booktitle = {Formal Methods and Software Engineering},
series = {Lecture Notes in Computer Science},
editor = {Qin, Shengchao and Qiu, Zongyan},
publisher = {Springer Berlin / Heidelberg},
isbn = {978-3-642-24558-9},
pages = {98-114},
volume = {6991},
year = {2011}
}
@inproceedings{ZhengSLDG11,
author = {Manchun Zheng and
Jun Sun and
Yang Liu and
Jin Song Dong and
Yu Gu},
affiliation = {School of Computing, National University of Singapore, Singapore},
title = {Towards a Model Checker for NesC and Wireless Sensor Networks},
booktitle = {Formal Methods and Software Engineering},
series = {Lecture Notes in Computer Science},
editor = {Qin, Shengchao and Qiu, Zongyan},
publisher = {Springer Berlin / Heidelberg},
isbn = {978-3-642-24558-9},
pages = {372-387},
volume = {6991},
year = {2011}
}
@inproceedings{SunLSDL11,
author = {Jun Sun and
Yang Liu and
Songzheng Song and
Jin Song Dong and
Xiaohong Li},
affiliation = {Singapore University of Technology and Design, Singapore},
title = {PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems},
booktitle = {Formal Methods and Software Engineering},
series = {Lecture Notes in Computer Science},
editor = {Qin, Shengchao and Qiu, Zongyan},
publisher = {Springer Berlin / Heidelberg},
isbn = {978-3-642-24558-9},
pages = {147-162},
volume = {6991},
year = {2011}
}
@inproceedings{XingSLD11,
author = {Xing, Zhenchang and Sun, Jun and Liu, Yang and Dong, Jin},
affiliation = {National University of Singapore, Singapore},
title = {Differencing Labeled Transition Systems},
booktitle = {Formal Methods and Software Engineering},
series = {Lecture Notes in Computer Science},
editor = {Qin, Shengchao and Qiu, Zongyan},
publisher = {Springer Berlin / Heidelberg},
isbn = {978-3-642-24558-9},
pages = {537-552},
volume = {6991},
year = {2011}
}
@inproceedings{LiuSD11,
author = {Yang Liu and
Jun Sun and
Jin Song Dong},
title = {PAT 3: An Extensible Architecture for Building Multi-domain
Model Checkers},
booktitle = {ISSRE},
year = {2011},
pages = {190-199}
}
@inproceedings{ZhengSSLDG11,
author = {Manchun Zheng and
Jun Sun and
David San{\'a}n and
Yang Liu and
Jin Song Dong and
Yu Gu},
title = {Towards bug-free implementation for wireless sensor networks},
booktitle = {SenSys},
year = {2011},
pages = {407-408}
}
@inproceedings{NguyenSLD11,
author = {Truong Khanh Nguyen and
Jun Sun and
Yang Liu and
Jin Song Dong},
title = {A model checking framework for hierarchical systems},
booktitle = {ASE},
year = {2011},
pages = {633-636}
}
@article{LuuSLDLT12,
author = {Anh Tuan Luu and
Jun Sun and
Yang Liu and
Jin Song Dong and
Xiaohong Li and
Quan Thanh Tho},
title = {SeVe: automatic tool for verification of security protocols},
journal = {Frontiers of Computer Science in China},
volume = {6},
number = {1},
year = {2012},
pages = {57-75}
}
@inproceedings{SongHLSLD12,
author = {Songzheng Song and
Jianye Hao and
Yang Liu and
Jun Sun and
Ho-Fung Leung and
Jin Song Dong},
title = {Analyzing multi-agent systems with probabilistic model checking
approach},
booktitle = {ICSE},
year = {2012},
pages = {1337-1340}
}
@inproceedings{LiuSLD12,
author = {Guan Jun Liu and
Jun Sun and
Yang Liu and
Jin Song Dong},
title = {Complexity of the Soundness Problem of Bounded Workflow
Nets},
booktitle = {Petri Nets},
year = {2012},
pages = {92-107}
}
@inproceedings{SongSLD12,
author = {Songzheng Song and
Jun Sun and
Yang Liu and
Jin Song Dong},
title = {A Model Checker for Hierarchical Probabilistic Real-Time
Systems},
booktitle = {CAV},
year = {2012},
pages = {705-711}
}
@inproceedings{AndreL0D12,
author = {{\'E}tienne Andr{\'e} and
Yang Liu and
Jun Sun and
Jin Song Dong},
title = {Parameter Synthesis for Hierarchical Concurrent Real-Time
Systems},
booktitle = {ICECCS},
year = {2012},
pages = {253-262}
}
@inproceedings{Li0DL012,
author = {Yi Li and
Jing Sun and
Jin Song Dong and
Yang Liu and
Jun Sun},
title = {Translating PDDL into CSP\# - The PAT Approach},
booktitle = {ICECCS},
year = {2012},
pages = {240-249}
}
@inproceedings{LiuZDL0BM12,
author = {Yan Liu and
Xian Zhang and
Jin Song Dong and
Yang Liu and
Jun Sun and
Jit Biswas and
Mounir Mokhtari},
title = {Formal Analysis of Pervasive Computing Systems},
booktitle = {ICECCS},
year = {2012},
pages = {169-178}
}
@inproceedings{NguyenSLDL12,
author = {Truong Khanh Nguyen and
Jun Sun and
Yang Liu and
Jin Song Dong and
Yan Liu},
title = {Improved BDD-Based Discrete Analysis of Timed Systems},
booktitle = {FM},
year = {2012},
pages = {326-340}
}
@inproceedings{LinLSDA12,
author = {Shang-Wei Lin and
Yang Liu and
Jun Sun and
Jin Song Dong and
{\'E}tienne Andr{\'e}},
title = {Automatic Compositional Verification of Timed Systems},
booktitle = {FM},
year = {2012},
pages = {272-276}
}
@article {ChenSLDZ12,
author = {Chen, Chunqing and Sun, Jun and Liu, Yang and Dong, Jin and Zheng, Manchun},
title = {Formal modeling and validation of Stateflow diagrams},
journal = {International Journal on Software Tools for Technology Transfer (STTT)},
publisher = {Springer Berlin / Heidelberg},
issn = {1433-2779},
pages = {653-671},
volume = {14},
issue = {6},
year = {2012}
}
@inproceedings{HaoSLSGDL12,
author = {Jianye Hao and
Songzheng Song and
Yang Liu and
Jun Sun and
Lin Gui and
Jin Song Dong and
Ho-fung Leung},
title = {Probabilistic Model Checking Multi-agent Behaviors in Dispersion
Games Using Counter Abstraction},
booktitle = {PRIMA},
year = {2012},
pages = {16-30}
}
@inproceedings{Nguyen0LD12,
author = {Truong Khanh Nguyen and
Jun Sun and
Yang Liu and
Jin Song Dong},
title = {Symbolic Model-Checking of Stateful Timed CSP Using BDD
and Digitization},
booktitle = {ICFEM},
year = {2012},
pages = {398-413}
}
@inproceedings{ShiL0DC12,
author = {Ling Shi and
Yang Liu and
Jun Sun and
Jin Song Dong and
Gustavo Carvalho},
title = {An Analytical and Experimental Comparison of CSP Extensions
and Tools},
booktitle = {ICFEM},
year = {2012},
pages = {381-397}
}
@inproceedings{LinLH0D12,
author = {Shang-Wei Lin and
Yang Liu and
Pao-Ann Hsiung and
Jun Sun and
Jin Song Dong},
title = {Automatic Generation of Provably Correct Embedded Systems},
booktitle = {ICFEM},
year = {2012},
pages = {214-229}
}
@inproceedings{WangS0LDWL12,
author = {Ting Wang and
Songzheng Song and
Jun Sun and
Yang Liu and
Jin Song Dong and
Xinyu Wang and
Shanping Li},
title = {More Anti-chain Based Refinement Checking},
booktitle = {ICFEM},
year = {2012},
pages = {364-380}
}
@inproceedings{Zhang00D012,
author = {Jiexin Zhang and
Yang Liu and
Jing Sun and
Jin Song Dong and
Jun Sun},
title = {Model Checking Software Architecture Design},
booktitle = {HASE},
year = {2012},
pages = {193-200}
}
@inproceedings{ZhengS0LD013,
author = {Manchun Zheng and
David San{\'a}n and
Jun Sun and
Yang Liu and
Jin Song Dong and
Yu Gu},
title = {State Space Reduction for Sensor Networks Using Two-Level
Partial Order Reduction},
booktitle = {VMCAI},
year = {2013},
pages = {515-535}
}
@article{BaiLMVSSLD2013,
title={AUTHSCAN: Automatic Extraction of Web Authentication Protocols from Implementations},
author={Bai, Guangdong and Lei, Jike and Meng, Guozhu and Venkatraman, Sai Sathyanarayan and Saxena, Prateek and Sun, Jun and Liu, Yang and Dong, Jinsong},
journal={Proceeding of the Network and Distributed System Security Symposium (NDSS)},
year={2013}
}
@inproceedings{TanA00DC13,
author = {Tian Huat Tan and
{\'E}tienne Andr{\'e} and
Jun Sun and
Yang Liu and
Jin Song Dong and
Manman Chen},
title = {Dynamic synthesis of local time requirement for service
composition},
booktitle = {ICSE},
year = {2013},
pages = {542-551}
}
@article{SunLDLSA13,
author = {Sun, Jun and Liu, Yang and Dong, Jin Song and Liu, Yan and Shi, Ling and Andr{\'e}, \'{E}tienne},
title = {Modeling and verifying hierarchical real-time systems using stateful timed CSP},
journal = {ACM Trans. Softw. Eng. Methodol.},
issue_date = {February 2013},
volume = {22},
number = {1},
month = mar,
year = {2013},
issn = {1049-331X},
pages = {3:1--3:29},
articleno = {3},
numpages = {29},
publisher = {ACM},
address = {New York, NY, USA}
}
@inproceedings{Song00LD13,
author = {Songzheng Song and
Lin Gui and
Jun Sun and
Yang Liu and
Jin Song Dong},
title = {Improved Reachability Analysis in DTMC via Divide and Conquer},
booktitle = {IFM},
year = {2013},
pages = {162-176}
}
@inproceedings{LiuLACSWD13,
author = {Shuang Liu and
Yang Liu and
{\'E}tienne Andr{\'e} and
Christine Choppy and
Jun Sun and
Bimlesh Wadhwa and
Jin Song Dong},
title = {A Formal Semantics for Complete UML State Machines with
Communications},
booktitle = {IFM},
year = {2013},
pages = {331-346}
}