@inproceedings(ALM2016:ITP,
 doi          = {10.1007/978-3-319-43144-4_4},
)
@manual(ACSL:20151002,
)
@inproceedings(BKL2015:FMICS,
 doi          = {10.1007/978-3-319-19458-5_2},
)
@inproceedings(BKL2016:SCAM,
 doi          = {10.1109/SCAM.2016.18},
)
@techreport(BKL2017:RR,
 url          = {http://www.univ-orleans.fr/lifo/prodsci/rapports/RR/RR2017/RR-2017-03.pdf},
)
@inproceedings(FIP2013:ASE,
 doi          = {10.1109/ASE.2013.6693139},
)
@phdthesis(FOR2013:PHD,
 url          = {http://hal.archives-ouvertes.fr/tel-00974977/},
)
@inproceedings(ITF2014:CAV,
 doi          = {10.1007/978-3-319-08867-9_39},
)
@article(KKP2015:FAC,
 doi          = {10.1007/s00165-014-0326-7},
)
@inproceedings(KPS2013:TAP,
 doi          = {10.1007/978-3-642-38916-0_10},
)
@inproceedings(LR2008:CAV,
 doi          = {10.1007/978-3-540-70545-1_7},
)
@article(L79:IEEE,
 doi          = {10.1109/TC.1979.1675439},
)
@article(LER2009:JAR,
 doi          = {10.1007/s10817-009-9155-4},
)
@inproceedings(NFS2016:ATVA,
 doi          = {10.1007/978-3-319-46520-3_12},
)
@inproceedings(NP1999:FASE,
 doi          = {10.1007/978-3-540-49020-3_13},
)
@article(OG1976:CACM,
 doi          = {10.1145/360051.360224},
)
@inproceedings(QW2004:PLDI,
 doi          = {10.1145/996841.996845},
)
@inproceedings(TIF2015:TACAS,
 doi          = {10.1007/978-3-662-46681-0_52},
)
@inproceedings(TNI2016:FMCAD,
 doi          = {10.1109/FMCAD.2016.7886679},
)