@inproceedings{f2d9f5171f8a4b08aa5509494014c865,
title = "Probabilistic UML statecharts for specification and verification: a case study.",
keywords = "METIS-210529",
author = "D.N. Jansen",
year = "2002",
month = sep,
day = "30",
language = "Undefined",
number = "10208",
pages = "121--131",
editor = "J. Jurjens and J. Fernandez and B. Eduardo and M.V. Cengarle and B. Rumpe and R. Sandner",
booktitle = "Critical systems development with UML. Proceedings of the UML'02 workshop",
note = "null ; Conference date: 30-09-2002 Through 04-10-2002",
}