@inproceedings(CDC12,
 author       = {V. Alimguzhin and F. Mari and I. Melatti and I. Salvo and E.Tronci},
 year         = {2012},
 title        = {Automatic control software synthesis for quantized discrete time hybrid systems},
 booktitle    = {Proc. 51th {IEEE} Conference on Decision and Control, {CDC}},
 doi          = {10.1109/CDC.2012.6426260},
)
@inproceedings(Alur-emsoft-2011,
 author       = {R. Alur},
 year         = {2011},
 title        = {Formal verification of hybrid systems},
 booktitle    = {Proc. 11th Int. Conf. on Embedded Software, EMSOFT 2011, part of the Seventh Embedded Systems Week},
 publisher    = {ACM},
 doi          = {10.1145/2038642.2038685},
)
@inproceedings(BHMK09,
 author       = {A. Brillout and N. He and M. Mazzucchi and D. Kroening, M. Purandare and P. R\"{u}mmer and G. Weissenbacher},
 year         = {2010},
 title        = {Mutation-based Test Case Generation for Simulink Models},
 booktitle    = {Proc. 8th Int. Conf. on Formal Methods for Components and Objects},
 series       = {FMCO'09},
 publisher    = {Springer-Verlag},
 doi          = {10.1007/978-3-642-17071-3},
)
@book(model-based-testing-2005,
 author       = {M. Broy and B. Jonsson and J.-P. Katoen and M. Leucker and A. Pretschner},
 year         = {2005},
 title        = {Model-Based Testing of Reactive Systems: Advanced Lectures},
 series       = {LNCS},
 volume       = {3472},
 publisher    = {Springer},
 doi          = {10.1007/b137241},
)
@article(fmsd2010,
 author       = {E. M. Clarke and A. Donz{\'{e}} and A. Legay},
 year         = {2010},
 title        = {On simulation-based probabilistic model checking of mixed-analog circuits},
 journal      = {Formal Methods in System Design},
 volume       = {36},
 number       = {2},
 doi          = {10.1007/s10703-009-0076-y},
)
@inproceedings(abstration-guided-simulation-dac07,
 author       = {De Paula, F. M. and A. J. Hu},
 year         = {2007},
 title        = {An effective guidance strategy for abstraction-guided simulation},
 booktitle    = {Proc. 44th annual Design Automation Conference},
 series       = {DAC '07},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 doi          = {10.1145/1278480.1278498},
)
@inproceedings(SpaceOps2012,
 author       = {Verzino G. and F. Cavaliere and F. Mari and I. Melatti and G. Minei and I. Salvo and Y. Yushtein and E. Tronci},
 year         = {2012},
 title        = {Model checking driven simulation of sat procedures},
 booktitle    = {Proc. of 12th International Conference on Space Operations (SpaceOps 2012)},
 organization = {SpaceOps},
 doi          = {10.2514/6.2012-1275611},
)
@inproceedings(GYSRMS08,
 author       = {A. A. Gadkari and A. Yeolekar and J. Suresh and S. Ramesh and S. Mohalik and K. C. Shashidhar},
 year         = {2008},
 title        = {AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems},
 booktitle    = {Proc. 20th Int. Conf. Computer Aided Verification, CAV},
 doi          = {10.1007/978-3-540-70545-1\_19},
)
@inproceedings(smart-simulation-iccad00,
 author       = {P. H. Ho and T. Shiple and K. Harer and J. Kukula and R. Damiano and V. Bertacco and J. Taylor and J. Long},
 year         = {2000},
 title        = {Smart simulation using collaborative formal and simulation engines},
 booktitle    = {Proc. 2000 IEEE/ACM Int. Conf. on Computer-aided design},
 series       = {ICCAD '00},
 publisher    = {IEEE Press},
 doi          = {10.1109/ICCAD.2000.896461},
)
@inproceedings(KAIRSS09,
 author       = {A. Kanade and R. Alur and F. Ivancic and S. Ramesh and S. Sankaranarayanan and K. C. Shashidhar},
 year         = {2009},
 title        = {Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models},
 booktitle    = {Proc. 21st Int. Conf. Computer Aided Verification, CAV},
 doi          = {10.1007/978-3-642-02658-4\_33},
)
@article(Kreisselmeier94,
 author       = {G. Kreisselmeier and T. Birkholzer},
 year         = {1994},
 title        = {Numerical nonlinear regulator design},
 journal      = {Automatic Control, IEEE Transactions on},
 volume       = {39},
 number       = {1},
 doi          = {10.1109/9.273337},
)
@inproceedings(cav2013,
 author       = {T. Mancini and F. Mari and A. Massini and I. Melatti and F. Merli and E. Tronci},
 year         = {2013},
 title        = {System Level Formal Verification via Model Checking Driven Simulation},
 booktitle    = {Computer Aided Verification - 25th International Conference, {CAV}},
 doi          = {10.1007/978-3-642-39799-8\_21},
)
@inproceedings(dsd2014,
 author       = {T. Mancini and F. Mari and A. Massini and I. Melatti and E. Tronci},
 year         = {2014},
 title        = {Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation},
 booktitle    = {17th Euromicro Conference on Digital System Design, {DSD}},
 doi          = {10.1109/DSD.2014.91},
)
@inproceedings(pdp2014,
 author       = {T. Mancini and F. Mari and A. Massini and I. Melatti and E. Tronci},
 year         = {2014},
 title        = {System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation},
 booktitle    = {22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, {PDP}},
 doi          = {10.1109/PDP.2014.32},
)
@inproceedings(pdp2015,
 author       = {T. Mancini and F. Mari and A. Massini and I. Melatti and E. Tronci},
 year         = {2015},
 title        = {SyLVaaS: System Level Formal Verification as a Service},
 booktitle    = {23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, {PDP}},
 doi          = {10.1109/PDP.2015.119},
)
@inproceedings(SmartGridComm2014,
 author       = {T. Mancini and F. Mari and I. Melatti and I. Salvo and E. Tronci and J. K. Gruber and B. Hayes and M. Prodanovic and L. Elmegaard},
 year         = {2014},
 title        = {Demand-aware price policy synthesis and verification services for Smart Grids},
 booktitle    = {2014 {IEEE} International Conference on Smart Grid Communications, SmartGridComm},
 doi          = {10.1109/SmartGridComm.2014.7007745},
)
@inproceedings(iwbbio2015,
 author       = {T. Mancini and E. Tronci and I. Salvo and F. Mari and A. Massini and I. Melatti},
 year         = {2015},
 title        = {Computing Biological Model Parameters by Parallel Statistical Model Checking},
 booktitle    = {Proc. Third Int. Conf. Bioinformatics and Biomedical Engineering, {IWBBIO}},
 doi          = {10.1007/978-3-319-16480-9\_52},
)
@inproceedings(MBR06,
 author       = {B. Meenakshi and A. Bhatnagar and S. Roy},
 year         = {2006},
 title        = {Tool for Translating Simulink Models into Input Language of a Model Checker},
 booktitle    = {Proc. 8th Int. Conf. on Formal Engineering Methods, ICFEM},
 doi          = {10.1007/11901433\_33},
)
@inproceedings(bcb2013,
 author       = {Miskov{-}Zivanov, N. and P. Zuliani and E. M. Clarke and J. R. Faeder},
 year         = {2013},
 title        = {Studies of biological networks with statistical model checking: application to immune system cells},
 booktitle    = {{ACM} Conference on Bioinformatics, Computational Biology and Biomedical Informatics. {ACM-BCB}},
 doi          = {10.1145/2506583.2512390},
)
@inproceedings(guiding-simulation-dac06,
 author       = {K. Nanshi and F. Somenzi},
 year         = {2006},
 title        = {Guiding simulation with increasingly refined abstract traces},
 booktitle    = {Proc. 43rd annual Design Automation Conference},
 series       = {DAC '06},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 doi          = {10.1145/1146909.1147097},
)
@book(sontag:book,
 author       = {E.D. Sontag},
 year         = {1998},
 title        = {Mathematical Control Theory: Deterministic Finite Dimensional Systems},
 series       = {Texts in Applied Mathematics},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4612-0577-7},
)
@article(TSCC05,
 author       = {S. Tripakis and C. Sofronis and P. Caspi and A. Curic},
 year         = {2005},
 title        = {Translating discrete-time simulink to lustre},
 journal      = {ACM Trans. Embedded Comput. Syst.},
 volume       = {4},
 number       = {4},
 doi          = {10.1145/1113830.1113834},
)
@inproceedings(fmcad2014,
 author       = {E. Tronci and T. Mancini and I. Salvo and S. Sinisi and F. Mari and I. Melatti and A. Massini and F. Davi and T. Dierkes and R. Ehrig and S. R{\"{o}}blitz and B. Leeners and T. H. C. Kruger and M. Egli and F. Ille},
 year         = {2014},
 title        = {Patient-specific models from inter-patient biological models and clinical records},
 booktitle    = {Formal Methods in Computer-Aided Design, {FMCAD}},
 doi          = {10.1109/FMCAD.2014.6987615},
)
@inproceedings(VSDP12,
 author       = {R. Venkatesh and U. Shrotri and P. Darke and P. Bokil},
 year         = {2012},
 title        = {Test generation for large automotive models},
 booktitle    = {IEEE Int. Conf. on Industrial Technology (ICIT)},
 doi          = {10.1109/ICIT.2012.6210014},
)
@inproceedings(WCMKS07,
 author       = {M. W. Whalen and D. D. Cofer and S. P. Miller and B. H. Krogh and W. Storm},
 year         = {2007},
 title        = {Integration of Formal Analysis into a Model-Based Software Development Process},
 booktitle    = {Proc. 12th Int. Workshop Formal Methods for Industrial Critical Systems, FMICS},
 doi          = {10.1007/978-3-540-79707-4\_7},
)
@inproceedings(validation-with-guided-search-dac98,
 author       = {C. H. Yang and D. L. Dill},
 year         = {1998},
 title        = {Validation with guided search of the state space},
 booktitle    = {Proc. 35th annual Design Automation Conference},
 series       = {DAC '98},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 doi          = {10.1145/277044.277201},
)
@inproceedings(ClarkeHSCC10,
 author       = {P. Zuliani and A. Platzer and E. M. Clarke},
 year         = {2010},
 title        = {Bayesian statistical model checking with application to Simulink/Stateflow verification},
 booktitle    = {Proc. 13th ACM Int. Conf. on Hybrid Systems: Computation and Control, HSCC},
 doi          = {10.1145/1755952.1755987},
)
@article(fmsd2013,
 author       = {P. Zuliani and A. Platzer and E. M. Clarke},
 year         = {2013},
 title        = {Bayesian statistical model checking with application to Stateflow/Simulink verification},
 journal      = {Formal Methods in System Design},
 volume       = {43},
 number       = {2},
 doi          = {10.1007/s10703-013-0195-3},
)