@article{JRC18415,
	address = {Wien},
	year = {1999},
	author = {Contini SM and Scheer S and Wilikens MA and De Cola G and Cojazzi GGM},
	abstract = {Abstract not available
		},
	title = {ASTRA, an Integrated Tool Set for Complex Systems Dependability Studies.},
	type = {},
	url = {},
	volume = {},
	number = {},
	journal = {Tool Support for System Specification, Development and Verification. Advances in Computing Science},
	pages = {77-91},
	issn = {},
	publisher = {Springer},
	doi = {}
}