@article{yang_aadl_2014,
	title = {From {AADL} to timed abstract state machine: a certified model transformation},
	url = {https://hal.inria.fr/hal-01095002},
	language = {English},
	author = {Yang, Zhibin and Hu, Kai and Ma, Dianfu and Bodeveix, Jean-Paul and Pi, Lei and Talpin, Jean-Pierre},
	year = {2014},
	keywords = {[INFO.INFO-ES]Computer Science [cs]/Embedded Systems, ⛔ No DOI found},
}

{"_id":"qMZRDQTeKf9bXy9RW","bibbaseid":"yang-hu-ma-bodeveix-pi-talpin-fromaadltotimedabstractstatemachineacertifiedmodeltransformation-2014","author_short":["Yang, Z.","Hu, K.","Ma, D.","Bodeveix, J.","Pi, L.","Talpin, J."],"bibdata":{"bibtype":"article","type":"article","title":"From AADL to timed abstract state machine: a certified model transformation","url":"https://hal.inria.fr/hal-01095002","language":"English","author":[{"propositions":[],"lastnames":["Yang"],"firstnames":["Zhibin"],"suffixes":[]},{"propositions":[],"lastnames":["Hu"],"firstnames":["Kai"],"suffixes":[]},{"propositions":[],"lastnames":["Ma"],"firstnames":["Dianfu"],"suffixes":[]},{"propositions":[],"lastnames":["Bodeveix"],"firstnames":["Jean-Paul"],"suffixes":[]},{"propositions":[],"lastnames":["Pi"],"firstnames":["Lei"],"suffixes":[]},{"propositions":[],"lastnames":["Talpin"],"firstnames":["Jean-Pierre"],"suffixes":[]}],"year":"2014","keywords":"[INFO.INFO-ES]Computer Science [cs]/Embedded Systems, ⛔ No DOI found","bibtex":"@article{yang_aadl_2014,\n\ttitle = {From {AADL} to timed abstract state machine: a certified model transformation},\n\turl = {https://hal.inria.fr/hal-01095002},\n\tlanguage = {English},\n\tauthor = {Yang, Zhibin and Hu, Kai and Ma, Dianfu and Bodeveix, Jean-Paul and Pi, Lei and Talpin, Jean-Pierre},\n\tyear = {2014},\n\tkeywords = {[INFO.INFO-ES]Computer Science [cs]/Embedded Systems, ⛔ No DOI found},\n}\n\n","author_short":["Yang, Z.","Hu, K.","Ma, D.","Bodeveix, J.","Pi, L.","Talpin, J."],"key":"yang_aadl_2014","id":"yang_aadl_2014","bibbaseid":"yang-hu-ma-bodeveix-pi-talpin-fromaadltotimedabstractstatemachineacertifiedmodeltransformation-2014","role":"author","urls":{"Paper":"https://hal.inria.fr/hal-01095002"},"keyword":["[INFO.INFO-ES]Computer Science [cs]/Embedded Systems","⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["[info.info-es]computer science [cs]/embedded systems","⛔ no doi found"],"search_terms":["aadl","timed","abstract","state","machine","certified","model","transformation","yang","hu","ma","bodeveix","pi","talpin"],"title":"From AADL to timed abstract state machine: a certified model transformation","year":2014}