@InCollection{Grobelna:2011,
  author    = "I. Grobelna",
  title     = "Formal verification of embedded logic controller specification with computer deduction in temporal logic",
  pages     = "59--60",
  year      = "2011",
  booktitle = "Advanced numerical modelling : International Interdyscyplinary PhD Workshop - IIPhDW, ISBN: 9788361956020",
  editor    = "Sikora J., Wójcik W., Wójtowicz S.",
  publisher = "Electrotechnical Institute",
  address   = "Warszawa",
}