@article {12822,
	title = {Generic tools for verifying concurrent systems},
	journal = {Science of Computer Programming},
	volume = {42},
	year = {2002},
	month = {2002/01//},
	pages = {39 - 47},
	abstract = {Despite the enormous strides made in automatic verification technology over the past decade and a half, tools such as model checkers remain relatively underused in the development of software. One reason for this is that the bewildering array of specification and verification formalisms complicates the development and adoption by users of relevant tool support. This paper proposes a remedy to this state of affairs in the case of finite-state concurrent systems by describing an approach to developing customizable yet efficient verification tools.},
	keywords = {Model checking, Operational semantics, Process algebra, Specification, verification, Verification tools},
	isbn = {0167-6423},
	doi = {10.1016/S0167-6423(01)00033-8},
	url = {http://www.sciencedirect.com/science/article/pii/S0167642301000338},
	author = {Cleaveland, Rance and Sims,Steven T.}
}
@conference {17025,
	title = {Component-based, user-constructed, multiple-view visualization},
	booktitle = {CHI {\textquoteright}01 extended abstracts on Human factors in computing systems},
	series = {CHI EA {\textquoteright}01},
	year = {2001},
	month = {2001///},
	pages = {201 - 202},
	publisher = {ACM},
	organization = {ACM},
	address = {New York, NY, USA},
	abstract = {A major hindrance to the usage of information visualization in common tasks is that typically a new visualization interface must be custom programmed to suit each task. This video demonstrates a system and user interface that attempts to solve this problem by enabling end users to construct their own multiple-view visualization interfaces that are appropriate for their tasks and data. Users accomplish this by snapping together component visualizations and specifying tight couplings between them. Then they can use their newly constructed visualization interfaces to perform their tasks.},
	keywords = {Information Visualization, multiple views, software components, Specification, tight coupling, user interface},
	isbn = {1-58113-340-5},
	doi = {10.1145/634067.634188},
	url = {http://doi.acm.org/10.1145/634067.634188},
	author = {North,Chris and Shneiderman, Ben}
}
