@article{DBLP:journals/fuin/CassezPR04,
  author    = {Franck Cassez and
               Claire Pagetti and
               Olivier H. Roux},
  title     = {A Timed Extension for {ALTARICA}},
  journal   = {Fundam. Inform.},
  volume    = {62},
  number    = {3-4},
  pages     = {291--332},
  year      = {2004},
  urlpapser = {papers/fi-2004.pdf},
  url_link       = {http://content.iospress.com/articles/fundamenta-informaticae/fi62-3-4-02},
  ABSTRACT = {  In this paper we present a \emph{timed} extension of the AltaRica
  formalism.  Following previous works, we first extend the semantics of
  AltaRica with time and define \emph{timed components} and \emph{timed nodes}.
  Moreover we lift the \emph{priority features} of AltaRica to the timed
  case.  We obtain a timed version of AltaRica, called Timed AltaRica. Finally we give
  a translation of a Timed AltaRica specification into a usual timed automaton.
  These are the semantic foundations of a high-level hierarchical
  language for the specification of timed systems.
},
 Type = {A - Journal},
 keywords = {timed automata, semantics},
 abstract = {},
}

{"_id":"uRdQM7Rzv2JTuhCM8","bibbaseid":"cassez-pagetti-roux-atimedextensionforaltarica-2004","author_short":["Cassez, F.","Pagetti, C.","Roux, O. H."],"bibdata":{"bibtype":"article","type":"A - Journal","author":[{"firstnames":["Franck"],"propositions":[],"lastnames":["Cassez"],"suffixes":[]},{"firstnames":["Claire"],"propositions":[],"lastnames":["Pagetti"],"suffixes":[]},{"firstnames":["Olivier","H."],"propositions":[],"lastnames":["Roux"],"suffixes":[]}],"title":"A Timed Extension for ALTARICA","journal":"Fundam. Inform.","volume":"62","number":"3-4","pages":"291–332","year":"2004","urlpapser":"papers/fi-2004.pdf","url_link":"http://content.iospress.com/articles/fundamenta-informaticae/fi62-3-4-02","abstract":"","keywords":"timed automata, semantics","bibtex":"@article{DBLP:journals/fuin/CassezPR04,\n author = {Franck Cassez and\n Claire Pagetti and\n Olivier H. Roux},\n title = {A Timed Extension for {ALTARICA}},\n journal = {Fundam. Inform.},\n volume = {62},\n number = {3-4},\n pages = {291--332},\n year = {2004},\n urlpapser = {papers/fi-2004.pdf},\n url_link = {http://content.iospress.com/articles/fundamenta-informaticae/fi62-3-4-02},\n ABSTRACT = { In this paper we present a \\emph{timed} extension of the AltaRica\n formalism. Following previous works, we first extend the semantics of\n AltaRica with time and define \\emph{timed components} and \\emph{timed nodes}.\n Moreover we lift the \\emph{priority features} of AltaRica to the timed\n case. We obtain a timed version of AltaRica, called Timed AltaRica. Finally we give\n a translation of a Timed AltaRica specification into a usual timed automaton.\n These are the semantic foundations of a high-level hierarchical\n language for the specification of timed systems.\n},\n Type = {A - Journal},\n keywords = {timed automata, semantics},\n abstract = {},\n}\n\n","author_short":["Cassez, F.","Pagetti, C.","Roux, O. H."],"key":"DBLP:journals/fuin/CassezPR04","id":"DBLP:journals/fuin/CassezPR04","bibbaseid":"cassez-pagetti-roux-atimedextensionforaltarica-2004","role":"author","urls":{"Papser":"http://science.mq.edu.au/~fcassez/bib/papers/fi-2004.pdf"," link":"http://content.iospress.com/articles/fundamenta-informaticae/fi62-3-4-02"},"keyword":["timed automata","semantics"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://science.mq.edu.au/~fcassez/bib/franck-bib.bib","dataSources":["8742EsvjQfyP2fYBW","qbqYFWskmoonRB43F"],"keywords":["timed automata","semantics"],"search_terms":["timed","extension","altarica","cassez","pagetti","roux"],"title":"A Timed Extension for ALTARICA","year":2004}