@InProceedings{dumitrescu10, 
	Author = {Dumitrescu, E. and Girault, A. and Marchand, H. and Rutten, E.},
	Title = {Multicriteria Optimal Reconfiguration of Fault-Tolerant Real-Time Tasks},
	BookTitle = {Workshop on Discrete Event Systems, WODES'10},
	Publisher = {IFAC},
	Address = {Berlin, Germany},
 	Month = {September},
	Year = {2010}
} 


@article{girault09c, 
	Author = {Girault, A. and Rutten, E.},
	Title = {Automating the Addition of Fault Tolerance with Discrete Controller Synthesis},
	Journal = {Formal Methods in System Design},
	Month = {},
	Year = {2010}
} 


@InCollection{fdl07-book, 
	Author = {Yu, H. and Gamatié, A. and Rutten, E. and Dekeyser, J.-L.},
	Title = {Model Transformations from a Data Parallel Formalism towards Synchronous Languages},
	BookTitle = {Embedded Systems Specification and Design Languages - Selected papers from FDL 2007},
	Chapter= {13},
	Series = {Lecture Notes Electrical Engineering Vol. 10},
	Publisher = {Springer Verlag},
	Year = {2008}
} 


@article{ag-hy-er-jes-08, 
	Author = {Gamatié, A. and Rutten, E. and Yu, H. and Boulet, P. and Dekeyser, J.-L.},
	Title = {Synchronous Modeling and Analysis of Data Intensive Applications},
	Journal = {Journal on Embedded Systems},
	Volume = {2008},
	Pages = {0--22},
	Month = {September},
	Year = {2008}
} 


@InProceedings{ispdc08, 
	Author = {Gamatié, A. and Rutten, E. and Yu, H. and Boulet, P. and Dekeyser, J.-L.},
	Title = {Modeling and Formal Validation of High-Performance Embedded Systems},
	BookTitle = {7th International Symposium on Parallel and Distributed Computing, ISPDC '08},
	Month = {July},
	Year = {2008}
} 


@InProceedings{uml-fm08, 
	Author = {Yu, H. and Gamatié, A. and Rutten, E. and Dekeyser, J.-L.},
	Title = {Safe Design of High-Performance Embedded Systems in a MDE Framework},
	BookTitle = {1th IEEE International workshop UML and Formal Methods, UML&FM'08},
	Year = {2008}
} 


@InProceedings{arm-ws-mw08, 
	Author = {Rutten, E.},
	Title = {Reactive control of adaptive embedded systems - a position paper},
	BookTitle = {7th Workshop on Adaptive and Reflective Middleware (ARM'08)},
	Year = {2008}
} 


@TechReport{ag-er-hy-08, 
	Author = {Gamatié, A. and Rutten, E. and Yu, H.},
	Title = {A Model for the Mixed-Design of Data-Intensive and Control-Oriented Embedded Systems},
	Number = {6589},
	Institution = {INRIA},
	Month = {July},
	Year = {2008}
} 


@TechReport{mbctrl, 
	Author = {Rutten, E.},
	Title = {Reactive control of adaptive embedded systems},
	Number = {6604},
	Institution = {INRIA},
	Month = {July},
	Year = {2008}
} 


@InProceedings{fdl07, 
	Author = {Yu, Huafeng and Gamatié, Abdoulaye and Rutten, Eric},
	Title = {Model Transformations from a Data Parallel Formalism towards Synchronous Languages},
	BookTitle = {Forum on specification and Design Languages, FDL'07},
	Year = {2007}
} 


@InCollection{ol-jld-pb-er-fdl-book06, 
	Author = {Labbani, Ouassila and Dekeyser, Jean-Luc and Boulet, Pierre and Rutten, Eric},
	Title = {UML2 profile for modelling controlled data parallel applications},
	BookTitle = {Advances in Design and Specification Languages for Embedded Systems},
	editor = {Huss, Sorin A.},
	Publisher = {Springer Verlag},
	Month = {September},
	Year = {2007}
} 


@TechReport{ag-hy-er-mde, 
	Author = {Yu, Huafeng and Gamatié, Abdoulaye and Rutten, Eric and Dekeyser, Jean-Luc},
	Title = {Model Transformations from a Data Parallel Formalism towards Synchronous Languages},
	Number = {6291},
	Institution = {INRIA},
	Month = {September},
	Year = {2007}
} 


@TechReport{rr-sdc-taf, 
	Author = {Dumitrescu, Emil and Girault, Alain and Marchand, Hervé and Rutten, Eric},
	Title = {Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems},
	Number = {6137},
	Institution = {INRIA},
	Month = {March},
	Year = {2007}
} 


@InProceedings{delaval06:_domain_specif_languag_multi_system, 
	Author = {Delaval, G. and Rutten, E.},
	Title = {A Domain-specific Language for Task Handlers Generation, Applying Discrete Controller Synthesis},
	BookTitle = {ACM Symposium on Applied computing, SAC'06},
	Pages = {901--905},
	Publisher = {ACM Press},
	Month = {April},
	Year = {2006}
} 


@InProceedings{besnard06a, 
	Author = {Besnard, L. and Marchand, H. and Rutten, E.},
	Title = {The Sigali Tool Box Environment},
	Howpublished = {Tools session, Workshop on Discrete Event Systems, WODES'06},
	Address = {Ann-Arbor (MI, USA)},
 	Month = {July},
	Year = {2006}
} 


@TechReport{rr-nemo, 
	Author = {Delaval, G. and Rutten, E.},
	Title = {A Domain-Specific Language for Multi-task Systems, applying Discrete Controller Synthesis},
	Number = {5690},
	Institution = {INRIA},
	Month = {September},
	Year = {2005}
} 


@InProceedings{fmics04, 
	Author = {Girault, Alain and Rutten, Eric},
	Title = {Discrete Controller Synthesis for Fault-Tolerant Distributed Systems},
	BookTitle = {Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 04},
	Publisher = {Tech. Rep of Kepler University Linz & ENTCS Eslevier},
	Month = {September},
	Year = {2004}
} 


@TechReport{rr-er-hm-04, 
	Author = {Rutten, Eric and Marchand, Hervé},
	Title = {Automatic Generation of Safe Handlers for Multi-Task Systems},
	Number = {5345},
	Institution = {INRIA},
	Month = {October},
	Year = {2004}
} 


@InProceedings{dumitrescu04, 
	Author = {Dumitrescu, E. and Girault, A. and Rutten, E.},
	Title = {Validating Fault-Tolerant Behaviors of Synchronous System Specifications by Discrete Controller Synthesis},
	BookTitle = {IFAC Workshop on Discrete Event Systems, WODES'04},
	Address = {Reims, France},
 	Month = {September},
	Year = {2004}
} 


@InProceedings{esop03, 
	Author = {Altisen, Karine and Clodic, Aurélie and Maraninchi, Florence and Rutten, Eric},
	Title = {Using Controller-Synthesis Techniques to Build Property-Enforcing Layers},
	BookTitle = {Proceedings of the European Symposium on Programming, ESOP'03, {April 7 - 11, 2003,Warsaw, Poland}},
	Number = {2618},
	Series = {Lecture Notes in Computer Science (LNCS)},
	Publisher = {Springer Verlag},
	Year = {2003}
}