W
[WH08] Libor Waszniowski and Zdeněk Hanzálek. Formal verification of multitasking applications based on timed automata model. Real-Time Systems 38(1):39-65. Kluwer Academic, January 2008. 
@article{rts38(1)-WH,
  author =              {Waszniowski, Libor and Hanz{\'a}lek, Zden{\v{e}}k},
  title =               {Formal verification of multitasking applications
                         based on timed automata model},
  publisher =           {Kluwer Academic},
  journal =             {Real-Time Systems},
  volume =              {38},
  number =              {1},
  pages =               {39-65},
  year =                {2008},
  month =               jan,
}
List of authors