Bojan- here are words to place IN FRONT of section II-A

The thesis of this paper is {\em diversity}, that it is best to
explore using multiple methods rather than just one. Similar calls
for more diversity can be found in the literature.  For example,
Holzmann~\cite{holzmann08} has recently been exploring {\em swam
verification}. Given the ready availability of multi-core CPUs at
most sites, Holzmann proposes a simple shell script that spawns a
SPIN process on a large number of CPUs. Each SPIN sub-process is
called with a random selection for the options that contol SPIN's
internal search.  In Holzmann's case studies, this method found
defects that were invisible to numerous prior studies. He now
comments that swarm verification is ``the way we routinely do things
now, would never think of doing anything else''.


@misc{holzmann08,
	title="Swarm Verification",
	author="Gerard J. Holzmann and  Rajeev Joshi and Alex Groce",
	booktitle="ASE 2008",
	pages="1-6"
}

Our proposal is an extension of swarm verification. Rather than
just adjust the search options of one verification engine, we show
that it is useful to go further and explore multiple tools {\em as
well as} multiple translators.  The rest of this section describes
the multiple verification engines used in this study.
