@inproceedings{QAPL-2017-KoenigKM,
	author        = "Barbara König and Sebastian Küpper and Christina Mika",
	booktitle     = "{QAPL@ETAPS}",
	doi           = "10.4204/EPTCS.250.5",
	ee            = "http://arxiv.org/abs/1707.04125",
	pages         = "75--91",
	title         = "{PAWS: A Tool for the Analysis of Weighted Systems}",
	year          = 2017,
}