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