@INPROCEEDINGS{pagetti-facs-2003,
  ABSTRACT = { In this paper we present a timed extension of the AltaRica language,
  Timed AltaRica, and describe the architecture of a compiler from Timed AltaRica to timed
  automata. We present the features of the language, namely
  modularity, hierarchical modeling and reuse of components during the
  specification phase, on an  avionics example. Then, we use the
  compiler from Timed AltaRica to Timed Automata to check some safety properties
  on the system.},
  AUTHOR = {Pagetti, Claire and Cassez, Franck and Roux, {Olivier F.}},
  BOOKTITLE = {Formal Aspects of Component Software (FACS'03)},
  MONTH = SEP,
  NOTE = {Pisa, Italy, September 8--9, 2003},
  PAGES = {63--80},
  PDF = {papers/facs-03.pdf},
  PUBLISHER = {UNU/IIST, Macau},
  TITLE = {{Hierarchical Modeling and Verification of Timed Systems in Timed {AltaRica}}},
  urlpaper = {papers/facs-03.pdf},
  url_link = {http://www.iist.unu.edu/newrh/III/1/docs/techreports/report284.html},
  YEAR = {2003},
  Type = {B - International Conferences},
  keywords = {timed automata, semantics, components},
}

{"_id":"8rm5aLrrjYWDbcXEX","bibbaseid":"pagetti-cassez-roux-hierarchicalmodelingandverificationoftimedsystemsintimedaltarica-2003","author_short":["Pagetti, C.","Cassez, F.","Roux, O."],"bibdata":{"bibtype":"inproceedings","type":"B - International Conferences","abstract":"In this paper we present a timed extension of the AltaRica language, Timed AltaRica, and describe the architecture of a compiler from Timed AltaRica to timed automata. We present the features of the language, namely modularity, hierarchical modeling and reuse of components during the specification phase, on an avionics example. Then, we use the compiler from Timed AltaRica to Timed Automata to check some safety properties on the system.","author":[{"propositions":[],"lastnames":["Pagetti"],"firstnames":["Claire"],"suffixes":[]},{"propositions":[],"lastnames":["Cassez"],"firstnames":["Franck"],"suffixes":[]},{"propositions":[],"lastnames":["Roux"],"firstnames":["Olivier F."],"suffixes":[]}],"booktitle":"Formal Aspects of Component Software (FACS'03)","month":"September","note":"Pisa, Italy, September 8–9, 2003","pages":"63–80","pdf":"papers/facs-03.pdf","publisher":"UNU/IIST, Macau","title":"Hierarchical Modeling and Verification of Timed Systems in Timed AltaRica","urlpaper":"papers/facs-03.pdf","url_link":"http://www.iist.unu.edu/newrh/III/1/docs/techreports/report284.html","year":"2003","keywords":"timed automata, semantics, components","bibtex":"@INPROCEEDINGS{pagetti-facs-2003,\n ABSTRACT = { In this paper we present a timed extension of the AltaRica language,\n Timed AltaRica, and describe the architecture of a compiler from Timed AltaRica to timed\n automata. We present the features of the language, namely\n modularity, hierarchical modeling and reuse of components during the\n specification phase, on an avionics example. Then, we use the\n compiler from Timed AltaRica to Timed Automata to check some safety properties\n on the system.},\n AUTHOR = {Pagetti, Claire and Cassez, Franck and Roux, {Olivier F.}},\n BOOKTITLE = {Formal Aspects of Component Software (FACS'03)},\n MONTH = SEP,\n NOTE = {Pisa, Italy, September 8--9, 2003},\n PAGES = {63--80},\n PDF = {papers/facs-03.pdf},\n PUBLISHER = {UNU/IIST, Macau},\n TITLE = {{Hierarchical Modeling and Verification of Timed Systems in Timed {AltaRica}}},\n urlpaper = {papers/facs-03.pdf},\n url_link = {http://www.iist.unu.edu/newrh/III/1/docs/techreports/report284.html},\n YEAR = {2003},\n Type = {B - International Conferences},\n keywords = {timed automata, semantics, components},\n}\n\n\n","author_short":["Pagetti, C.","Cassez, F.","Roux, O."],"key":"pagetti-facs-2003","id":"pagetti-facs-2003","bibbaseid":"pagetti-cassez-roux-hierarchicalmodelingandverificationoftimedsystemsintimedaltarica-2003","role":"author","urls":{"Paper":"http://science.mq.edu.au/~fcassez/bib/papers/facs-03.pdf"," link":"http://www.iist.unu.edu/newrh/III/1/docs/techreports/report284.html"},"keyword":["timed automata","semantics","components"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://science.mq.edu.au/~fcassez/bib/franck-bib.bib","dataSources":["8742EsvjQfyP2fYBW","qbqYFWskmoonRB43F","yYF8uwWqay28JyxZC"],"keywords":["timed automata","semantics","components"],"search_terms":["hierarchical","modeling","verification","timed","systems","timed","altarica","pagetti","cassez","roux"],"title":"Hierarchical Modeling and Verification of Timed Systems in Timed AltaRica","year":2003}