@article {12842,
	title = {Modeling and verifying active structural control systems},
	journal = {Science of Computer Programming},
	volume = {29},
	year = {1997},
	month = {1997/07//},
	pages = {99 - 122},
	isbn = {01676423},
	doi = {10.1016/S0167-6423(96)00031-7},
	url = {zotero://attachment/28808/},
	author = {Elseaidy,W.}
}
