@article(Alur1999,
 author       = {Rajeev Alur and Thomas A. Henzinger},
 year         = {1999},
 title        = {Reactive modules},
 journal      = {Formal Methods in System Design},
 volume       = {15},
 number       = {1},
 pages        = {7--48},
 doi          = {10.1023/A:1008739929481},
)
@book(baier2008,
 author       = {Christel Baier and Joost-Pieter Katoen},
 year         = {2008},
 title        = {Principles of model checking},
 publisher    = {The MIT Press},
)
@article(Basagiannis2011,
 author       = {Stylianos Basagiannis and Sophia Petridou and Nikolaos Alexiou and Georgios Papadimitriou and Panagiotis Katsaros},
 year         = {2011},
 title        = {Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach},
 journal      = {Computers \& Security},
 volume       = {30},
 number       = {4},
 pages        = {257--272},
 doi          = {10.1016/j.cose.2011.02.001},
)
@article(beauquier2003,
 author       = {Dani{\`e}le Beauquier},
 year         = {2003},
 title        = {On probabilistic timed automata},
 journal      = {Theoretical Computer Science},
 volume       = {292},
 number       = {1},
 pages        = {65--84},
 doi          = {10.1016/S0304-3975(01)00215-8},
)
@book(Dorf2011,
 author       = {Richard C. Dorf and Robert H. Bishop},
 year         = {2016},
 title        = {Modern control systems},
 publisher    = {Pearson (Addison-Wesley)},
)
@techreport(FaroquePhD2016,
 author       = {Syafizwan Nizam Mohd Faroque},
 year         = {2016},
 title        = {Virtual reality training for micro-robotic cell injection},
 type         = {Technical Report},
 institution  = {Deakin University, Australia},
)
@article(fedeli2007,
 author       = {Andrea Fedeli and Franco Fummi and Graziano Pravadelli},
 year         = {2007},
 title        = {Properties incompleteness evaluation by functional verification},
 journal      = {IEEE Transactions on Computers},
 volume       = {56},
 number       = {4},
 pages        = {528--544},
 doi          = {10.1109/TC.2007.1012},
)
@incollection(Fleming2012,
 author       = {Steven Fleming and Catherine Pretty},
 year         = {2012},
 title        = {Research instruments micromanipulators},
 booktitle    = {Practical Manual of In Vitro Fertilization: Advanced Methods and Novel Devices},
 publisher    = {Springer},
 pages        = {335--340},
 doi          = {10.1007/978-1-4419-1780-5{\_}36},
)
@book(hasan2015,
 author       = {Osman Hasan and Sofi{\`e}ne Tahar},
 year         = {2015},
 title        = {Formalized probability theory and applications using theorem proving},
 publisher    = {IGI Global},
 doi          = {10.4018/978-1-4666-8315-0},
)
@inproceedings(Huang-CRB2006,
 author       = {Haibo Huang and Dong Sun and James K. Mills and Wen J. Li},
 year         = {2006},
 title        = {A visual impedance force control of a robotic cell injection system},
 booktitle    = {Robotics and Biomimetics},
 organization = {IEEE},
 pages        = {233--238},
 doi          = {10.1109/ROBIO.2006.340159},
)
@inproceedings(Huang-CRA2007,
 author       = {Haibo Huang and Dong Sun and James K. Mills and Wen J. Li},
 year         = {2007},
 title        = {Visual-based impedance force control of three-dimensional cell injection system},
 booktitle    = {Robotics and Automation},
 organization = {IEEE},
 pages        = {4196--4201},
 doi          = {10.1109/ROBOT.2007.364124},
)
@article(Huang-TASE2009,
 author       = {Haibo Huang and Dong Sun and James K. Mills and Wen J. Li and Shuk Han Cheng},
 year         = {2009},
 title        = {Visual-based impedance control of out-of-plane cell injection systems},
 journal      = {IEEE Transactions on Automation Science and Engineering},
 volume       = {6},
 number       = {3},
 pages        = {565--571},
 doi          = {10.1109/TASE.2008.2010013},
)
@article(Kallio-JM2006,
 author       = {Pasi Kallio and Kuncova-Kallio, Johana},
 year         = {2006},
 title        = {Capillary pressure microinjection of living adherent cells: challenges in automation},
 journal      = {Journal of Micromechatronics},
 volume       = {3},
 number       = {3},
 pages        = {189--220},
 doi          = {10.1163/156856306777924653},
)
@article(Kim2013,
 author       = {Youngjoo Kim and Okjoo Choi and Moonzoo Kim and Jongmoon Baik and Tai-Hyo Kim},
 year         = {2013},
 title        = {Validating software reliability early through statistical model checking},
 journal      = {IEEE software},
 volume       = {30},
 number       = {3},
 pages        = {35--41},
 doi          = {10.1109/MS.2013.24},
)
@book(Kulkarni1995,
 author       = {Vidyadhar G. Kulkarni},
 year         = {1995},
 title        = {Modeling and Analysis of Stochastic Systems},
 publisher    = {CRC Press},
)
@inproceedings(Kuncova-EMBS2004,
 author       = {Kuncova-Kallio, Johana and Pasi Kallio},
 year         = {2004},
 title        = {Challenges in capillary pressure microinjection},
 booktitle    = {Engineering in Medicine and Biology Society},
 organization = {IEEE},
 pages        = {4998--5001},
 doi          = {10.1109/IEMBS.2004.1404381},
)
@inproceedings(PRISM,
 author       = {Marta Kwiatkowska and Gethin Norman and David Parker},
 year         = {2011},
 title        = {{PRISM} 4.0: Verification of probabilistic real-time systems},
 booktitle    = {Computer Aided Verification},
 volume       = {6806},
 publisher    = {Springer},
 pages        = {585--591},
 doi          = {10.1007/978-3-642-22110-1_47},
)
@article(Kwiatkowska2012,
 author       = {Marta Kwiatkowska and Gethin Norman and David Parker},
 year         = {2012},
 title        = {Probabilistic verification of Herman's self-stabilisation algorithm},
 journal      = {Formal Aspects of Computing},
 volume       = {24},
 number       = {4},
 pages        = {661--670},
 doi          = {10.1007/s00165-012-0227-6},
)
@article(Lakin2012,
 author       = {Matthew R. Lakin and David Parker and Luca Cardelli and Marta Kwiatkowska and Andrew Phillips},
 year         = {2012},
 title        = {Design and analysis of {DNA} strand displacement devices using probabilistic model checking},
 journal      = {Journal of the Royal Society Interface},
 volume       = {9},
 number       = {72},
 pages        = {1470--1485},
 doi          = {10.1098/rsif.2011.0800},
)
@book(Leveque2007,
 author       = {Randall J. LeVeque},
 year         = {2007},
 title        = {Finite difference methods for ordinary and partial differential equations: {S}teady-state and time-dependent problems},
 publisher    = {SIAM},
 doi          = {10.1137/1.9780898717839},
)
@book(Levine1999,
 author       = {William S. Levine},
 year         = {1999},
 title        = {Control System Applications},
 publisher    = {CRC Press},
)
@article(Nakayama-FS1998,
 author       = {Takahiro Nakayama and Hiroshi Fujiwara and Keiji Tastumi and Kazuyuki Fujita and Toshihiro Higuchi and Takahide Mori},
 year         = {1998},
 title        = {A new assisted hatching technique using a piezo-micromanipulator},
 journal      = {Fertility and Sterility},
 volume       = {69},
 number       = {4},
 pages        = {784--788},
 doi          = {10.1016/S0015-0282(98)00017-X},
)
@book(Ogata2010,
 author       = {Katsuhiko Ogata},
 year         = {2010},
 title        = {Modern control engineering},
 publisher    = {Pearson Prentice-Hall},
)
@misc(Pulnix2017,
 author       = {PULNiX},
 year         = {2017},
 title        = {TM-6701 AN progressive scan full-frame shutter camera},
 howpublished = {\url{http://www.jai.com/SiteCollectionDocuments/Camera_Solutions_Datasheets/TM-Datasheets/Datasheet_TM-6701AN.pdf}},
)
@book(Puterman1994,
 author       = {Martin L. Puterman},
 year         = {1994},
 title        = {Markov decision processes: Discrete stochastic dynamic programming},
 publisher    = {John Wiley and Sons},
 doi          = {10.1002/9780470316887},
)
@misc(codelink,
 author       = {Muhammad Usama Sardar},
 year         = {2017},
 title        = {Probabilistic formal modeling of the robotic cell injection system},
 howpublished = {\url{http://save.seecs.nust.edu.pk/projects/RCIS}},
)
@inproceedings(Sardar2016SATS,
 author       = {Muhammad Usama Sardar and Nida Afaq and Khaza Anuarul Hoque and Taylor T. Johnson and Osman Hasan},
 year         = {2016},
 title        = {Probabilistic formal verification of the {SATS} concept of operation},
 booktitle    = {NASA Formal Methods Symposium},
 volume       = {9690},
 organization = {Springer},
 pages        = {191--205},
 doi          = {10.1007978-3-319-40648-0_15},
)
@article(Segala1995,
 author       = {Roberto Segala and Nancy Lynch},
 year         = {1995},
 title        = {Probabilistic simulations for probabilistic processes},
 journal      = {Nordic Journal of Computing},
 volume       = {2},
 number       = {2},
 pages        = {250--273},
 url          = {http://dl.acm.org/citation.cfm?id=642075},
)
@article(Sun-IJRR2002,
 author       = {Yu Sun and Bradley J. Nelson},
 year         = {2002},
 title        = {Biological cell injection using an autonomous microrobotic system},
 journal      = {The International Journal of Robotics Research},
 volume       = {21},
 number       = {10-11},
 pages        = {861--868},
 doi          = {10.1177/0278364902021010833},
)
@article(Sun-TN2003,
 author       = {Yu Sun and K-T Wan and Kenneth P. Roberts and John C. Bischof and Bradley J. Nelson},
 year         = {2003},
 title        = {Mechanical property characterization of mouse zona pellucida},
 journal      = {IEEE transactions on nanobioscience},
 volume       = {2},
 number       = {4},
 pages        = {279--286},
 doi          = {10.1109/TNB.2003.820273},
)
@book(Thorby2008,
 author       = {Douglas Thorby},
 year         = {2008},
 title        = {Structural dynamics and vibration in practice: An engineering handbook},
 publisher    = {Butterworth-Heinemann},
)
@article(Yanagida-HR1999,
 author       = {K. Yanagida and H. Katayose and H. Yazawa and Y. Kimura and K. Konnai and A. Sato},
 year         = {1999},
 title        = {The usefulness of a piezo-micromanipulator in intracytoplasmic sperm injection in humans},
 journal      = {Human Reproduction},
 volume       = {14},
 number       = {2},
 pages        = {448--453},
 doi          = {10.1093/humrep/14.2.448},
)