@inproceedings{'GHJ+6',
title = { Poster Abstract: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations },
author = {Guesmi, Hela and Hedia, Belgacem Ben and Jan, Mathieu and Bliudze, Simon and Bensalem, Saddek},
year = {2016},
booktitle = {2016 {IEEE} Real-Time and Embedded Technology and Applications Symposium (RTAS), Vienna, Austria, April 11-14, 2016},
crossref = {DBLP:conf/rtas/2016},
pages = {52},
team = {DCS, RSD},
}
