@article{LALSD14,
  	author =	{Lin, Shang-Wei and Andr{\'e}, {\'E}tienne and Liu, Yang and Sun, Jun and Dong, Jin Song},
  	journal =	{Transactions on Software Engineering},
  	publisher = {IEEE},
  	title =	{Learning Assumptions for Compositional Verification of Timed Systems},
  	year =	{2014},
  	volume =	{40},
  	doi = {10.1109/TSE.2013.57},
  	month =	{mar},
  	number =	{2},
  	pages =	{137--153},
}