@article{SLDLSA13,
  	author =	{Sun, Jun and Liu, Yang and Dong, Jin-Song and Liu, Yan and Shi, Ling and Andr{\'e}, {\'E}tienne},
  	doi = {10.1145/2430536.2430537},
  	journal =	{ACM Transactions on Software Engineering and Methodology},
  	month =	{feb},
  	number =	{1},
  	pages =	{3.1--3.29},
  	publisher = {ACM},
  	title =	{Modeling and Verifying Hierarchical Real-time Systems using {Stateful Timed CSP}},
  	year =	{2013},
  	volume =	{22},
  	keywords = {journal},
}