@techreport{weko_62658_1,
   author	 = "Hsin-HungLin and Takuya,Katayama",
   title	 = "Towards Integrating Adaptation and Model Checking for Software Components",
   year 	 = "2009",
   institution	 = "School of Information Science, Japan Advanced Institute of Science and Technology, School of Information Science, Japan Advanced Institute of Science and Technology",
   number	 = "7",
   month	 = "jun"
}