@TechReport{Goessler2008, 
	Author = {Goessler, G.},
	Title = {Component-based Modeling and Reachability Analysis of Genetic Networks},
	Number = {0},
	Institution = {INRIA},
	Year = {2008}
} 


@InProceedings{GoesslerGrafMila*07, 
	Author = {Goessler, G. and Graf, S. and Majster-Cederbaum, M. and Martens, M. and Sifakis, J.},
	Title = {Ensuring Properties of Interaction Systems by Construction},
	BookTitle = {Program Analysis and Compilation, Theory and Practice},
	editor = {Reps, T. and Sagiv, M. and Bauer, J.},
	Volume = {4444},
	Pages = {201--224},
	Series = {LNCS},
	Year = {2007}
} 


@InProceedings{GoesslerGrafMila*07b, 
	Author = {Goessler, G. and Graf, S. and Majster-Cederbaum, M. and Martens, M. and Sifakis, J.},
	Title = {An Approach to Modelling and Verification of Component Based Systems},
	BookTitle = {proc. SOFSEM'07},
	Volume = {4362},
	Pages = {295--308},
	Series = {LNCS},
	Publisher = {Springer-Verlag},
	Year = {2007}
} 


@InProceedings{TivoliFradetGiraultGoessler2007, 
	Author = {Tivoli, M. and Fradet, P. and Girault, A. and Goessler, G.},
	Title = {Adaptor Synthesis for Real-Time Components},
	BookTitle = {Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference (TACAS'07)},
	Volume = {4424},
	Pages = {185--200},
	Series = {Lecture Notes in Computer Science},
	Publisher = {Springer},
	Year = {2007}
} 


@InProceedings{Goessler2006b, 
	Author = {Goessler, G.},
	Title = {Compositional Reachability Analysis of Genetic Networks},
	BookTitle = {CMSB'06},
	editor = {Priami, C.},
	Volume = {4210},
	Pages = {212--226},
	Series = {LNBI},
	Publisher = {Springer},
	Year = {2006}
} 


@TechReport{Prometheus2006, 
	Author = {Goessler, G.},
	Title = {Componend-based Design of Heterogeneous Reactive Systems in \textsc{Prometheus}},
	Number = {6057},
	Institution = {INRIA},
	Year = {2006}
} 


@TechReport{Goessler2005, 
	Author = {Goessler, G.},
	Title = {Reach Scheduling for Embedded Systems},
	Number = {5651},
	Institution = {INRIA, France},
	Year = {2005}
} 


@InProceedings{GoesslerSifakis2004, 
	Author = {Goessler, G. and Sifakis, J.},
	Title = {Priority Systems},
	BookTitle = {proc. FMCO'03},
	editor = {de Boer, F. and Bonsangue, M. and Graf, S. and de Roever, W.-P.},
	Volume = {3188},
	Pages = {314--329},
	Series = {LNCS},
	Publisher = {Springer-Verlag},
	Year = {2004}
} 


@InProceedings{GoesslerSifakis2003, 
	Author = {Goessler, G. and Sifakis, J.},
	Title = {Component-Based Construction of Deadlock-Free Systems (Extended Abstract)},
	BookTitle = {proc. FSTTCS'03},
	Volume = {2914},
	Series = {LNCS},
	Publisher = {Springer-Verlag},
	Year = {2003}
}