id	sid	tid	token	lemma	pos
cord-030686-wv77zwsc	1	1	key	key	JJ
cord-030686-wv77zwsc	1	2	:	:	:
cord-030686-wv77zwsc	1	3	cord-030686-wv77zwsc	cord-030686-wv77zwsc	NN
cord-030686-wv77zwsc	1	4	authors	author	NNS
cord-030686-wv77zwsc	1	5	:	:	:
cord-030686-wv77zwsc	1	6	Budde	Budde	NNP
cord-030686-wv77zwsc	1	7	,	,	,
cord-030686-wv77zwsc	1	8	Carlos	Carlos	NNP
cord-030686-wv77zwsc	1	9	E.	E.	NNP
cord-030686-wv77zwsc	1	10	title	title	NN
cord-030686-wv77zwsc	1	11	:	:	:
cord-030686-wv77zwsc	1	12	FIG	fig	NN
cord-030686-wv77zwsc	1	13	:	:	:
cord-030686-wv77zwsc	2	1	The	the	DT
cord-030686-wv77zwsc	2	2	Finite	Finite	NNP
cord-030686-wv77zwsc	2	3	Improbability	Improbability	NNP
cord-030686-wv77zwsc	2	4	Generator	Generator	NNP
cord-030686-wv77zwsc	2	5	date	date	NN
cord-030686-wv77zwsc	2	6	:	:	:
cord-030686-wv77zwsc	2	7	2020	2020	CD
cord-030686-wv77zwsc	2	8	-	-	HYPH
cord-030686-wv77zwsc	2	9	03	03	CD
cord-030686-wv77zwsc	2	10	-	-	SYM
cord-030686-wv77zwsc	2	11	13	13	CD
cord-030686-wv77zwsc	2	12	journal	journal	NN
cord-030686-wv77zwsc	2	13	:	:	:
cord-030686-wv77zwsc	2	14	Tools	tool	NNS
cord-030686-wv77zwsc	2	15	and	and	CC
cord-030686-wv77zwsc	2	16	Algorithms	Algorithms	NNP
cord-030686-wv77zwsc	2	17	for	for	IN
cord-030686-wv77zwsc	2	18	the	the	DT
cord-030686-wv77zwsc	2	19	Construction	Construction	NNP
cord-030686-wv77zwsc	2	20	and	and	CC
cord-030686-wv77zwsc	2	21	Analysis	Analysis	NNP
cord-030686-wv77zwsc	2	22	of	of	IN
cord-030686-wv77zwsc	2	23	Systems	Systems	NNP
cord-030686-wv77zwsc	2	24	DOI	DOI	NNP
cord-030686-wv77zwsc	2	25	:	:	:
cord-030686-wv77zwsc	3	1	10.1007/978	10.1007/978	LS
cord-030686-wv77zwsc	3	2	-	-	SYM
cord-030686-wv77zwsc	3	3	3	3	CD
cord-030686-wv77zwsc	3	4	-	-	HYPH
cord-030686-wv77zwsc	3	5	030	030	CD
cord-030686-wv77zwsc	3	6	-	-	HYPH
cord-030686-wv77zwsc	3	7	45190	45190	CD
cord-030686-wv77zwsc	3	8	-	-	HYPH
cord-030686-wv77zwsc	3	9	5_27	5_27	CD
cord-030686-wv77zwsc	3	10	sha	sha	NNP
cord-030686-wv77zwsc	3	11	:	:	:
cord-030686-wv77zwsc	3	12	e07fb8e58c98e271f56721381481d8ad8cbf42fa	e07fb8e58c98e271f56721381481d8ad8cbf42fa	NNS
cord-030686-wv77zwsc	3	13	doc_id	doc_id	CD
cord-030686-wv77zwsc	3	14	:	:	:
cord-030686-wv77zwsc	3	15	30686	30686	CD
cord-030686-wv77zwsc	3	16	cord_uid	cord_uid	NNS
cord-030686-wv77zwsc	3	17	:	:	:
cord-030686-wv77zwsc	3	18	wv77zwsc	wv77zwsc	NNP
cord-030686-wv77zwsc	4	1	This	this	DT
cord-030686-wv77zwsc	4	2	paper	paper	NN
cord-030686-wv77zwsc	4	3	introduces	introduce	VBZ
cord-030686-wv77zwsc	4	4	the	the	DT
cord-030686-wv77zwsc	4	5	statistical	statistical	JJ
cord-030686-wv77zwsc	4	6	model	model	NN
cord-030686-wv77zwsc	4	7	checker	checker	NN
cord-030686-wv77zwsc	4	8	FIGV	FIGV	NNP
cord-030686-wv77zwsc	4	9	,	,	,
cord-030686-wv77zwsc	4	10	that	that	WDT
cord-030686-wv77zwsc	4	11	estimates	estimate	VBZ
cord-030686-wv77zwsc	4	12	transient	transient	JJ
cord-030686-wv77zwsc	4	13	and	and	CC
cord-030686-wv77zwsc	4	14	steady	steady	JJ
cord-030686-wv77zwsc	4	15	-	-	HYPH
cord-030686-wv77zwsc	4	16	state	state	NN
cord-030686-wv77zwsc	4	17	reachability	reachability	NN
cord-030686-wv77zwsc	4	18	properties	property	NNS
cord-030686-wv77zwsc	4	19	in	in	IN
cord-030686-wv77zwsc	4	20	stochastic	stochastic	JJ
cord-030686-wv77zwsc	4	21	automata	automaton	NNS
cord-030686-wv77zwsc	4	22	.	.	.
cord-030686-wv77zwsc	5	1	This	this	DT
cord-030686-wv77zwsc	5	2	software	software	NN
cord-030686-wv77zwsc	5	3	tool	tool	NN
cord-030686-wv77zwsc	5	4	specialises	specialise	VBZ
cord-030686-wv77zwsc	5	5	in	in	IN
cord-030686-wv77zwsc	5	6	Rare	Rare	NNP
cord-030686-wv77zwsc	5	7	Event	Event	NNP
cord-030686-wv77zwsc	5	8	Simulation	Simulation	NNP
cord-030686-wv77zwsc	5	9	via	via	IN
cord-030686-wv77zwsc	5	10	importance	importance	NN
cord-030686-wv77zwsc	5	11	splitting	splitting	NN
cord-030686-wv77zwsc	5	12	,	,	,
cord-030686-wv77zwsc	5	13	and	and	CC
cord-030686-wv77zwsc	5	14	implements	implement	VBZ
cord-030686-wv77zwsc	5	15	the	the	DT
cord-030686-wv77zwsc	5	16	algorithms	algorithm	NNS
cord-030686-wv77zwsc	5	17	RESTART	restart	VBP
cord-030686-wv77zwsc	5	18	and	and	CC
cord-030686-wv77zwsc	5	19	Fixed	Fixed	NNP
cord-030686-wv77zwsc	5	20	Effort	Effort	NNP
cord-030686-wv77zwsc	5	21	.	.	.
cord-030686-wv77zwsc	6	1	FIG	fig	NN
cord-030686-wv77zwsc	6	2	is	be	VBZ
cord-030686-wv77zwsc	6	3	push	push	NN
cord-030686-wv77zwsc	6	4	-	-	HYPH
cord-030686-wv77zwsc	6	5	button	button	NN
cord-030686-wv77zwsc	6	6	automatic	automatic	NN
cord-030686-wv77zwsc	6	7	since	since	IN
cord-030686-wv77zwsc	6	8	the	the	DT
cord-030686-wv77zwsc	6	9	user	user	NN
cord-030686-wv77zwsc	6	10	need	nee	MD
cord-030686-wv77zwsc	6	11	not	not	RB
cord-030686-wv77zwsc	6	12	define	define	VB
cord-030686-wv77zwsc	6	13	an	an	DT
cord-030686-wv77zwsc	6	14	importance	importance	NN
cord-030686-wv77zwsc	6	15	function	function	NN
cord-030686-wv77zwsc	6	16	:	:	:
cord-030686-wv77zwsc	6	17	this	this	DT
cord-030686-wv77zwsc	6	18	function	function	NN
cord-030686-wv77zwsc	6	19	is	be	VBZ
cord-030686-wv77zwsc	6	20	derived	derive	VBN
cord-030686-wv77zwsc	6	21	from	from	IN
cord-030686-wv77zwsc	6	22	the	the	DT
cord-030686-wv77zwsc	6	23	model	model	NN
cord-030686-wv77zwsc	6	24	specification	specification	NN
cord-030686-wv77zwsc	6	25	plus	plus	CC
cord-030686-wv77zwsc	6	26	the	the	DT
cord-030686-wv77zwsc	6	27	property	property	NN
cord-030686-wv77zwsc	6	28	query	query	NN
cord-030686-wv77zwsc	6	29	.	.	.
cord-030686-wv77zwsc	7	1	The	the	DT
cord-030686-wv77zwsc	7	2	tool	tool	NN
cord-030686-wv77zwsc	7	3	operates	operate	VBZ
cord-030686-wv77zwsc	7	4	with	with	IN
cord-030686-wv77zwsc	7	5	Input	input	NN
cord-030686-wv77zwsc	7	6	/	/	SYM
cord-030686-wv77zwsc	7	7	Output	output	NN
cord-030686-wv77zwsc	7	8	Stochastic	stochastic	JJ
cord-030686-wv77zwsc	7	9	Automata	Automata	NNP
cord-030686-wv77zwsc	7	10	with	with	IN
cord-030686-wv77zwsc	7	11	Urgency	Urgency	NNP
cord-030686-wv77zwsc	7	12	,	,	,
cord-030686-wv77zwsc	7	13	aka	aka	RB
cord-030686-wv77zwsc	7	14	IOSA	IOSA	NNP
cord-030686-wv77zwsc	7	15	models	model	NNS
cord-030686-wv77zwsc	7	16	,	,	,
cord-030686-wv77zwsc	7	17	described	describe	VBN
cord-030686-wv77zwsc	7	18	either	either	CC
cord-030686-wv77zwsc	7	19	in	in	IN
cord-030686-wv77zwsc	7	20	the	the	DT
cord-030686-wv77zwsc	7	21	native	native	JJ
cord-030686-wv77zwsc	7	22	syntax	syntax	NN
cord-030686-wv77zwsc	7	23	or	or	CC
cord-030686-wv77zwsc	7	24	in	in	IN
cord-030686-wv77zwsc	7	25	the	the	DT
cord-030686-wv77zwsc	7	26	JANI	JANI	NNP
cord-030686-wv77zwsc	7	27	exchange	exchange	NN
cord-030686-wv77zwsc	7	28	format	format	NN
cord-030686-wv77zwsc	7	29	.	.	.
cord-030686-wv77zwsc	8	1	The	the	DT
cord-030686-wv77zwsc	8	2	theory	theory	NN
cord-030686-wv77zwsc	8	3	backing	back	VBG
cord-030686-wv77zwsc	8	4	FIG	FIG	NNP
cord-030686-wv77zwsc	8	5	has	have	VBZ
cord-030686-wv77zwsc	8	6	demonstrated	demonstrate	VBN
cord-030686-wv77zwsc	8	7	good	good	JJ
cord-030686-wv77zwsc	8	8	efficiency	efficiency	NN
cord-030686-wv77zwsc	8	9	,	,	,
cord-030686-wv77zwsc	8	10	comparable	comparable	JJ
cord-030686-wv77zwsc	8	11	to	to	IN
cord-030686-wv77zwsc	8	12	optimal	optimal	JJ
cord-030686-wv77zwsc	8	13	importance	importance	NN
cord-030686-wv77zwsc	8	14	splitting	splitting	NN
cord-030686-wv77zwsc	8	15	implemented	implement	VBN
cord-030686-wv77zwsc	8	16	ad	ad	FW
cord-030686-wv77zwsc	8	17	hoc	hoc	FW
cord-030686-wv77zwsc	8	18	for	for	IN
cord-030686-wv77zwsc	8	19	specific	specific	JJ
cord-030686-wv77zwsc	8	20	models	model	NNS
cord-030686-wv77zwsc	8	21	.	.	.
cord-030686-wv77zwsc	9	1	Written	write	VBN
cord-030686-wv77zwsc	9	2	in	in	IN
cord-030686-wv77zwsc	9	3	C++	C++	NNP
cord-030686-wv77zwsc	9	4	,	,	,
cord-030686-wv77zwsc	9	5	FIG	FIG	NNP
cord-030686-wv77zwsc	9	6	can	can	MD
cord-030686-wv77zwsc	9	7	outperform	outperform	VB
cord-030686-wv77zwsc	9	8	other	other	JJ
cord-030686-wv77zwsc	9	9	state	state	NN
cord-030686-wv77zwsc	9	10	-	-	HYPH
cord-030686-wv77zwsc	9	11	of	of	IN
cord-030686-wv77zwsc	9	12	-	-	HYPH
cord-030686-wv77zwsc	9	13	the	the	DT
cord-030686-wv77zwsc	9	14	-	-	HYPH
cord-030686-wv77zwsc	9	15	art	art	NN
cord-030686-wv77zwsc	9	16	tools	tool	NNS
cord-030686-wv77zwsc	9	17	for	for	IN
cord-030686-wv77zwsc	9	18	Rare	Rare	NNP
cord-030686-wv77zwsc	9	19	Event	Event	NNP
cord-030686-wv77zwsc	9	20	Simulation	Simulation	NNP
cord-030686-wv77zwsc	9	21	.	.	.
cord-030686-wv77zwsc	10	1	In	in	IN
cord-030686-wv77zwsc	10	2	formal	formal	JJ
cord-030686-wv77zwsc	10	3	analysis	analysis	NN
cord-030686-wv77zwsc	10	4	of	of	IN
cord-030686-wv77zwsc	10	5	stochastic	stochastic	JJ
cord-030686-wv77zwsc	10	6	systems	system	NNS
cord-030686-wv77zwsc	10	7	,	,	,
cord-030686-wv77zwsc	10	8	statistical	statistical	JJ
cord-030686-wv77zwsc	10	9	model	model	NN
cord-030686-wv77zwsc	10	10	checking	check	VBG
cord-030686-wv77zwsc	10	11	(	(	-LRB-
cord-030686-wv77zwsc	10	12	smc	smc	NNP
cord-030686-wv77zwsc	10	13	[	[	-LRB-
cord-030686-wv77zwsc	10	14	33	33	CD
cord-030686-wv77zwsc	10	15	]	]	-RRB-
cord-030686-wv77zwsc	10	16	)	)	-RRB-
cord-030686-wv77zwsc	10	17	emerges	emerge	VBZ
cord-030686-wv77zwsc	10	18	as	as	IN
cord-030686-wv77zwsc	10	19	an	an	DT
cord-030686-wv77zwsc	10	20	alternative	alternative	NN
cord-030686-wv77zwsc	10	21	to	to	IN
cord-030686-wv77zwsc	10	22	numerical	numerical	JJ
cord-030686-wv77zwsc	10	23	techniques	technique	NNS
cord-030686-wv77zwsc	10	24	such	such	JJ
cord-030686-wv77zwsc	10	25	as	as	IN
cord-030686-wv77zwsc	10	26	(	(	-LRB-
cord-030686-wv77zwsc	10	27	exhaustive	exhaustive	JJ
cord-030686-wv77zwsc	10	28	)	)	-RRB-
cord-030686-wv77zwsc	10	29	probabilistic	probabilistic	JJ
cord-030686-wv77zwsc	10	30	model	model	NN
cord-030686-wv77zwsc	10	31	checking	checking	NN
cord-030686-wv77zwsc	10	32	.	.	.
cord-030686-wv77zwsc	11	1	Its	-PRON-	PRP$
cord-030686-wv77zwsc	11	2	partial	partial	JJ
cord-030686-wv77zwsc	11	3	,	,	,
cord-030686-wv77zwsc	11	4	on	on	IN
cord-030686-wv77zwsc	11	5	-	-	HYPH
cord-030686-wv77zwsc	11	6	demand	demand	NN
cord-030686-wv77zwsc	11	7	state	state	NN
cord-030686-wv77zwsc	11	8	exploration	exploration	NN
cord-030686-wv77zwsc	11	9	offers	offer	VBZ
cord-030686-wv77zwsc	11	10	a	a	DT
cord-030686-wv77zwsc	11	11	memorylightweight	memorylightweight	NN
cord-030686-wv77zwsc	11	12	option	option	NN
cord-030686-wv77zwsc	11	13	to	to	IN
cord-030686-wv77zwsc	11	14	exhaustive	exhaustive	JJ
cord-030686-wv77zwsc	11	15	explorations	exploration	NNS
cord-030686-wv77zwsc	11	16	.	.	.
cord-030686-wv77zwsc	12	1	At	at	IN
cord-030686-wv77zwsc	12	2	its	-PRON-	PRP$
cord-030686-wv77zwsc	12	3	core	core	NN
cord-030686-wv77zwsc	12	4	,	,	,
cord-030686-wv77zwsc	12	5	smc	smc	NNP
cord-030686-wv77zwsc	12	6	integrates	integrate	VBZ
cord-030686-wv77zwsc	12	7	Monte	Monte	NNP
cord-030686-wv77zwsc	12	8	Carlo	Carlo	NNP
cord-030686-wv77zwsc	12	9	simulation	simulation	NN
cord-030686-wv77zwsc	12	10	with	with	IN
cord-030686-wv77zwsc	12	11	formal	formal	JJ
cord-030686-wv77zwsc	12	12	models	model	NNS
cord-030686-wv77zwsc	12	13	,	,	,
cord-030686-wv77zwsc	12	14	where	where	WRB
cord-030686-wv77zwsc	12	15	traces	trace	NNS
cord-030686-wv77zwsc	12	16	of	of	IN
cord-030686-wv77zwsc	12	17	states	state	NNS
cord-030686-wv77zwsc	12	18	are	be	VBP
cord-030686-wv77zwsc	12	19	generated	generate	VBN
cord-030686-wv77zwsc	12	20	dynamically	dynamically	RB
cord-030686-wv77zwsc	12	21	e.g.	e.g.	RB
cord-030686-wv77zwsc	12	22	via	via	IN
cord-030686-wv77zwsc	12	23	discrete	discrete	JJ
cord-030686-wv77zwsc	12	24	event	event	NN
cord-030686-wv77zwsc	12	25	simulation	simulation	NN
cord-030686-wv77zwsc	12	26	.	.	.
cord-030686-wv77zwsc	13	1	Such	such	JJ
cord-030686-wv77zwsc	13	2	traces	trace	NNS
cord-030686-wv77zwsc	13	3	are	be	VBP
cord-030686-wv77zwsc	13	4	samples	sample	NNS
cord-030686-wv77zwsc	13	5	of	of	IN
cord-030686-wv77zwsc	13	6	the	the	DT
cord-030686-wv77zwsc	13	7	states	state	NNS
cord-030686-wv77zwsc	13	8	where	where	WRB
cord-030686-wv77zwsc	13	9	a	a	DT
cord-030686-wv77zwsc	13	10	(	(	-LRB-
cord-030686-wv77zwsc	13	11	possibly	possibly	RB
cord-030686-wv77zwsc	13	12	non	non	JJ
cord-030686-wv77zwsc	13	13	-	-	JJ
cord-030686-wv77zwsc	13	14	Markovian	markovian	JJ
cord-030686-wv77zwsc	13	15	)	)	-RRB-
cord-030686-wv77zwsc	13	16	stochastic	stochastic	JJ
cord-030686-wv77zwsc	13	17	model	model	NN
cord-030686-wv77zwsc	13	18	usually	usually	RB
cord-030686-wv77zwsc	13	19	ferrets	ferret	NNS
cord-030686-wv77zwsc	13	20	.	.	.
cord-030686-wv77zwsc	14	1	Given	give	VBN
cord-030686-wv77zwsc	14	2	a	a	DT
cord-030686-wv77zwsc	14	3	temporal	temporal	JJ
cord-030686-wv77zwsc	14	4	logic	logic	NN
cord-030686-wv77zwsc	14	5	property	property	NN
cord-030686-wv77zwsc	14	6	ϕ	ϕ	NN
cord-030686-wv77zwsc	14	7	that	that	WDT
cord-030686-wv77zwsc	14	8	characterises	characterise	VBZ
cord-030686-wv77zwsc	14	9	certain	certain	JJ
cord-030686-wv77zwsc	14	10	states	state	NNS
cord-030686-wv77zwsc	14	11	,	,	,
cord-030686-wv77zwsc	14	12	an	an	DT
cord-030686-wv77zwsc	14	13	smc	smc	NNP
cord-030686-wv77zwsc	14	14	analysis	analysis	NN
cord-030686-wv77zwsc	14	15	yields	yield	VBZ
cord-030686-wv77zwsc	14	16	an	an	DT
cord-030686-wv77zwsc	14	17	estimateγ	estimateγ	NN
cord-030686-wv77zwsc	14	18	of	of	IN
cord-030686-wv77zwsc	14	19	the	the	DT
cord-030686-wv77zwsc	14	20	actual	actual	JJ
cord-030686-wv77zwsc	14	21	probability	probability	NN
cord-030686-wv77zwsc	14	22	γ	γ	NN
cord-030686-wv77zwsc	14	23	with	with	IN
cord-030686-wv77zwsc	14	24	which	which	WDT
cord-030686-wv77zwsc	14	25	the	the	DT
cord-030686-wv77zwsc	14	26	model	model	NN
cord-030686-wv77zwsc	14	27	satisfies	satisfy	VBZ
cord-030686-wv77zwsc	14	28	ϕ.	ϕ.	NN
cord-030686-wv77zwsc	14	29	The	the	DT
cord-030686-wv77zwsc	14	30	estimateγ	estimateγ	NN
cord-030686-wv77zwsc	14	31	typically	typically	RB
cord-030686-wv77zwsc	14	32	comes	come	VBZ
cord-030686-wv77zwsc	14	33	together	together	RB
cord-030686-wv77zwsc	14	34	with	with	IN
cord-030686-wv77zwsc	14	35	a	a	DT
cord-030686-wv77zwsc	14	36	quantification	quantification	NN
cord-030686-wv77zwsc	14	37	of	of	IN
cord-030686-wv77zwsc	14	38	the	the	DT
cord-030686-wv77zwsc	14	39	statistical	statistical	JJ
cord-030686-wv77zwsc	14	40	error	error	NN
cord-030686-wv77zwsc	14	41	:	:	:
cord-030686-wv77zwsc	14	42	two	two	CD
cord-030686-wv77zwsc	14	43	numbers	number	NNS
cord-030686-wv77zwsc	14	44	δ	δ	NN
cord-030686-wv77zwsc	14	45	∈	∈	NN
cord-030686-wv77zwsc	14	46	(	(	-LRB-
cord-030686-wv77zwsc	14	47	0	0	CD
cord-030686-wv77zwsc	14	48	,	,	,
cord-030686-wv77zwsc	14	49	1	1	CD
cord-030686-wv77zwsc	14	50	)	)	-RRB-
cord-030686-wv77zwsc	15	1	and	and	CC
cord-030686-wv77zwsc	15	2	ε	ε	NN
cord-030686-wv77zwsc	15	3	>	>	XX
cord-030686-wv77zwsc	15	4	0	0	NFP
cord-030686-wv77zwsc	15	5	such	such	JJ
cord-030686-wv77zwsc	15	6	thatγ	thatγ	NN
cord-030686-wv77zwsc	15	7	∈	∈	NN
cord-030686-wv77zwsc	15	8	[	[	-LRB-
cord-030686-wv77zwsc	15	9	γ	γ	NN
cord-030686-wv77zwsc	15	10	−	−	NN
cord-030686-wv77zwsc	16	1	ε	ε	NNP
cord-030686-wv77zwsc	16	2	,	,	,
cord-030686-wv77zwsc	16	3	γ	γ	NNP
cord-030686-wv77zwsc	16	4	+	+	CC
cord-030686-wv77zwsc	16	5	ε	ε	NNP
cord-030686-wv77zwsc	16	6	]	]	-RRB-
cord-030686-wv77zwsc	16	7	with	with	IN
cord-030686-wv77zwsc	16	8	probability	probability	NN
cord-030686-wv77zwsc	16	9	δ	δ	NN
cord-030686-wv77zwsc	16	10	.	.	.
cord-030686-wv77zwsc	17	1	Thus	thus	RB
cord-030686-wv77zwsc	17	2	,	,	,
cord-030686-wv77zwsc	17	3	if	if	IN
cord-030686-wv77zwsc	17	4	n	n	CD
cord-030686-wv77zwsc	17	5	traces	trace	NNS
cord-030686-wv77zwsc	17	6	are	be	VBP
cord-030686-wv77zwsc	17	7	sampled	sample	VBN
cord-030686-wv77zwsc	17	8	,	,	,
cord-030686-wv77zwsc	17	9	the	the	DT
cord-030686-wv77zwsc	17	10	full	full	JJ
cord-030686-wv77zwsc	17	11	smc	smc	NNP
cord-030686-wv77zwsc	17	12	outcome	outcome	NN
cord-030686-wv77zwsc	17	13	is	be	VBZ
cord-030686-wv77zwsc	17	14	the	the	DT
cord-030686-wv77zwsc	17	15	tuple	tuple	NN
cord-030686-wv77zwsc	17	16	(	(	-LRB-
cord-030686-wv77zwsc	17	17	n	n	NNP
cord-030686-wv77zwsc	17	18	,	,	,
cord-030686-wv77zwsc	17	19	γ	γ	NNP
cord-030686-wv77zwsc	17	20	,	,	,
cord-030686-wv77zwsc	17	21	δ	δ	NNP
cord-030686-wv77zwsc	17	22	,	,	,
cord-030686-wv77zwsc	17	23	ε	ε	NNP
cord-030686-wv77zwsc	17	24	)	)	-RRB-
cord-030686-wv77zwsc	17	25	.	.	.
cord-030686-wv77zwsc	18	1	With	with	IN
cord-030686-wv77zwsc	18	2	this	this	DT
cord-030686-wv77zwsc	18	3	statistical	statistical	JJ
cord-030686-wv77zwsc	18	4	quantification	quantification	NN
cord-030686-wv77zwsc	18	5	-	-	:
cord-030686-wv77zwsc	18	6	usually	usually	RB
cord-030686-wv77zwsc	18	7	presented	present	VBN
cord-030686-wv77zwsc	18	8	as	as	IN
cord-030686-wv77zwsc	18	9	a	a	DT
cord-030686-wv77zwsc	18	10	confidence	confidence	NN
cord-030686-wv77zwsc	18	11	interval	interval	NN
cord-030686-wv77zwsc	18	12	(	(	-LRB-
cord-030686-wv77zwsc	18	13	ci	ci	NNP
cord-030686-wv77zwsc	18	14	)	)	-RRB-
cord-030686-wv77zwsc	18	15	aroundγ	aroundγ	NNP
cord-030686-wv77zwsc	18	16	-	-	:
cord-030686-wv77zwsc	18	17	an	an	DT
cord-030686-wv77zwsc	18	18	idea	idea	NN
cord-030686-wv77zwsc	18	19	of	of	IN
cord-030686-wv77zwsc	18	20	the	the	DT
cord-030686-wv77zwsc	18	21	quality	quality	NN
cord-030686-wv77zwsc	18	22	of	of	IN
cord-030686-wv77zwsc	18	23	an	an	DT
cord-030686-wv77zwsc	18	24	estimation	estimation	NN
cord-030686-wv77zwsc	18	25	is	be	VBZ
cord-030686-wv77zwsc	18	26	conveyed	convey	VBN
cord-030686-wv77zwsc	18	27	.	.	.
cord-030686-wv77zwsc	19	1	To	to	TO
cord-030686-wv77zwsc	19	2	increase	increase	VB
cord-030686-wv77zwsc	19	3	the	the	DT
cord-030686-wv77zwsc	19	4	quality	quality	NN
cord-030686-wv77zwsc	19	5	one	one	PRP
cord-030686-wv77zwsc	19	6	must	must	MD
cord-030686-wv77zwsc	19	7	increase	increase	VB
cord-030686-wv77zwsc	19	8	the	the	DT
cord-030686-wv77zwsc	19	9	precision	precision	NN
cord-030686-wv77zwsc	19	10	(	(	-LRB-
cord-030686-wv77zwsc	19	11	smaller	small	JJR
cord-030686-wv77zwsc	19	12	ε	ε	NNP
cord-030686-wv77zwsc	19	13	)	)	-RRB-
cord-030686-wv77zwsc	19	14	or	or	CC
cord-030686-wv77zwsc	19	15	the	the	DT
cord-030686-wv77zwsc	19	16	confidence	confidence	NN
cord-030686-wv77zwsc	19	17	(	(	-LRB-
cord-030686-wv77zwsc	19	18	bigger	big	JJR
cord-030686-wv77zwsc	19	19	δ	δ	NN
cord-030686-wv77zwsc	19	20	)	)	-RRB-
cord-030686-wv77zwsc	19	21	.	.	.
cord-030686-wv77zwsc	20	1	For	for	IN
cord-030686-wv77zwsc	20	2	fixed	fix	VBN
cord-030686-wv77zwsc	20	3	confidence	confidence	NN
cord-030686-wv77zwsc	20	4	,	,	,
cord-030686-wv77zwsc	20	5	this	this	DT
cord-030686-wv77zwsc	20	6	means	mean	VBZ
cord-030686-wv77zwsc	20	7	a	a	DT
cord-030686-wv77zwsc	20	8	narrower	narrow	JJR
cord-030686-wv77zwsc	20	9	ci	ci	NNP
cord-030686-wv77zwsc	20	10	aroundγ	aroundγ	NNP
cord-030686-wv77zwsc	20	11	.	.	.
cord-030686-wv77zwsc	21	1	The	the	DT
cord-030686-wv77zwsc	21	2	number	number	NN
cord-030686-wv77zwsc	21	3	of	of	IN
cord-030686-wv77zwsc	21	4	traces	trace	NNS
cord-030686-wv77zwsc	21	5	n	n	NN
cord-030686-wv77zwsc	21	6	is	be	VBZ
cord-030686-wv77zwsc	21	7	inversely	inversely	RB
cord-030686-wv77zwsc	21	8	proportional	proportional	JJ
cord-030686-wv77zwsc	21	9	to	to	IN
cord-030686-wv77zwsc	21	10	ε	ε	NN
cord-030686-wv77zwsc	21	11	and	and	CC
cord-030686-wv77zwsc	21	12	to	to	IN
cord-030686-wv77zwsc	21	13	the	the	DT
cord-030686-wv77zwsc	21	14	ci	ci	NNP
cord-030686-wv77zwsc	21	15	width	width	NNP
cord-030686-wv77zwsc	21	16	,	,	,
cord-030686-wv77zwsc	21	17	so	so	RB
cord-030686-wv77zwsc	21	18	smc	smc	NNP
cord-030686-wv77zwsc	21	19	trades	trade	VBZ
cord-030686-wv77zwsc	21	20	memory	memory	NN
cord-030686-wv77zwsc	21	21	for	for	IN
cord-030686-wv77zwsc	21	22	runtime	runtime	NN
cord-030686-wv77zwsc	21	23	or	or	CC
cord-030686-wv77zwsc	21	24	precision	precision	NN
cord-030686-wv77zwsc	21	25	when	when	WRB
cord-030686-wv77zwsc	21	26	compared	compare	VBN
cord-030686-wv77zwsc	21	27	to	to	IN
cord-030686-wv77zwsc	21	28	exhaustive	exhaustive	JJ
cord-030686-wv77zwsc	21	29	methods	method	NNS
cord-030686-wv77zwsc	21	30	[	[	-LRB-
cord-030686-wv77zwsc	21	31	5	5	CD
cord-030686-wv77zwsc	21	32	]	]	-RRB-
cord-030686-wv77zwsc	21	33	.	.	.
cord-030686-wv77zwsc	22	1	This	this	DT
cord-030686-wv77zwsc	22	2	trade	trade	NN
cord-030686-wv77zwsc	22	3	-	-	HYPH
cord-030686-wv77zwsc	22	4	off	off	NN
cord-030686-wv77zwsc	22	5	of	of	IN
cord-030686-wv77zwsc	22	6	smc	smc	NNP
cord-030686-wv77zwsc	22	7	comes	come	VBZ
cord-030686-wv77zwsc	22	8	with	with	IN
cord-030686-wv77zwsc	22	9	one	one	CD
cord-030686-wv77zwsc	22	10	up	up	RB
cord-030686-wv77zwsc	22	11	and	and	CC
cord-030686-wv77zwsc	22	12	one	one	CD
cord-030686-wv77zwsc	22	13	down	down	RP
cord-030686-wv77zwsc	22	14	.	.	.
cord-030686-wv77zwsc	23	1	The	the	DT
cord-030686-wv77zwsc	23	2	up	up	NN
cord-030686-wv77zwsc	23	3	is	be	VBZ
cord-030686-wv77zwsc	23	4	the	the	DT
cord-030686-wv77zwsc	23	5	capability	capability	NN
cord-030686-wv77zwsc	23	6	to	to	TO
cord-030686-wv77zwsc	23	7	analyse	analyse	VB
cord-030686-wv77zwsc	23	8	systems	system	NNS
cord-030686-wv77zwsc	23	9	whose	whose	WP$
cord-030686-wv77zwsc	23	10	stochastic	stochastic	JJ
cord-030686-wv77zwsc	23	11	transitions	transition	NNS
cord-030686-wv77zwsc	23	12	can	can	MD
cord-030686-wv77zwsc	23	13	have	have	VB
cord-030686-wv77zwsc	23	14	non	non	JJ
cord-030686-wv77zwsc	23	15	-	-	JJ
cord-030686-wv77zwsc	23	16	Markovian	markovian	JJ
cord-030686-wv77zwsc	24	1	This	this	DT
cord-030686-wv77zwsc	24	2	work	work	NN
cord-030686-wv77zwsc	24	3	was	be	VBD
cord-030686-wv77zwsc	24	4	partially	partially	RB
cord-030686-wv77zwsc	24	5	funded	fund	VBN
cord-030686-wv77zwsc	24	6	by	by	IN
cord-030686-wv77zwsc	24	7	NWO	NWO	NNP
cord-030686-wv77zwsc	24	8	,	,	,
cord-030686-wv77zwsc	24	9	NS	NS	NNP
cord-030686-wv77zwsc	24	10	,	,	,
cord-030686-wv77zwsc	24	11	and	and	CC
cord-030686-wv77zwsc	24	12	ProRail	ProRail	NNP
cord-030686-wv77zwsc	24	13	project	project	NN
cord-030686-wv77zwsc	24	14	15474	15474	CD
cord-030686-wv77zwsc	25	1	(	(	-LRB-
cord-030686-wv77zwsc	25	2	SE	SE	NNP
cord-030686-wv77zwsc	25	3	-	-	HYPH
cord-030686-wv77zwsc	25	4	QUOIA	QUOIA	NNP
cord-030686-wv77zwsc	25	5	)	)	-RRB-
cord-030686-wv77zwsc	25	6	and	and	CC
cord-030686-wv77zwsc	25	7	EU	EU	NNP
cord-030686-wv77zwsc	25	8	project	project	NN
cord-030686-wv77zwsc	25	9	102112	102112	CD
cord-030686-wv77zwsc	26	1	(	(	-LRB-
cord-030686-wv77zwsc	26	2	SUCCESS	SUCCESS	NNP
cord-030686-wv77zwsc	26	3	)	)	-RRB-
cord-030686-wv77zwsc	26	4	.	.	.
cord-030686-wv77zwsc	27	1	distributions	distribution	NNS
cord-030686-wv77zwsc	27	2	.	.	.
cord-030686-wv77zwsc	28	1	In	in	IN
cord-030686-wv77zwsc	28	2	spite	spite	NN
cord-030686-wv77zwsc	28	3	of	of	IN
cord-030686-wv77zwsc	28	4	gallant	gallant	JJ
cord-030686-wv77zwsc	28	5	efforts	effort	NNS
cord-030686-wv77zwsc	28	6	,	,	,
cord-030686-wv77zwsc	28	7	this	this	DT
cord-030686-wv77zwsc	28	8	is	be	VBZ
cord-030686-wv77zwsc	28	9	still	still	RB
cord-030686-wv77zwsc	28	10	out	out	IN
cord-030686-wv77zwsc	28	11	of	of	IN
cord-030686-wv77zwsc	28	12	reach	reach	NN
cord-030686-wv77zwsc	28	13	for	for	IN
cord-030686-wv77zwsc	28	14	most	most	JJS
cord-030686-wv77zwsc	28	15	other	other	JJ
cord-030686-wv77zwsc	28	16	model	model	NN
cord-030686-wv77zwsc	28	17	checking	checking	NN
cord-030686-wv77zwsc	28	18	approaches	approach	NNS
cord-030686-wv77zwsc	28	19	,	,	,
cord-030686-wv77zwsc	28	20	making	make	VBG
cord-030686-wv77zwsc	28	21	smc	smc	NNP
cord-030686-wv77zwsc	28	22	unique	unique	JJ
cord-030686-wv77zwsc	28	23	.	.	.
cord-030686-wv77zwsc	29	1	The	the	DT
cord-030686-wv77zwsc	29	2	down	down	JJ
cord-030686-wv77zwsc	29	3	are	be	VBP
cord-030686-wv77zwsc	29	4	rare	rare	JJ
cord-030686-wv77zwsc	29	5	events	event	NNS
cord-030686-wv77zwsc	29	6	.	.	.
cord-030686-wv77zwsc	30	1	If	if	IN
cord-030686-wv77zwsc	30	2	there	there	EX
cord-030686-wv77zwsc	30	3	is	be	VBZ
cord-030686-wv77zwsc	30	4	a	a	DT
cord-030686-wv77zwsc	30	5	very	very	RB
cord-030686-wv77zwsc	30	6	low	low	JJ
cord-030686-wv77zwsc	30	7	probability	probability	NN
cord-030686-wv77zwsc	30	8	to	to	TO
cord-030686-wv77zwsc	30	9	visit	visit	VB
cord-030686-wv77zwsc	30	10	the	the	DT
cord-030686-wv77zwsc	30	11	states	state	NNS
cord-030686-wv77zwsc	30	12	characterised	characterise	VBN
cord-030686-wv77zwsc	30	13	by	by	IN
cord-030686-wv77zwsc	30	14	the	the	DT
cord-030686-wv77zwsc	30	15	property	property	NN
cord-030686-wv77zwsc	30	16	ϕ	ϕ	NN
cord-030686-wv77zwsc	30	17	,	,	,
cord-030686-wv77zwsc	30	18	then	then	RB
cord-030686-wv77zwsc	30	19	most	most	JJS
cord-030686-wv77zwsc	30	20	traces	trace	NNS
cord-030686-wv77zwsc	30	21	will	will	MD
cord-030686-wv77zwsc	30	22	not	not	RB
cord-030686-wv77zwsc	30	23	visit	visit	VB
cord-030686-wv77zwsc	30	24	them	-PRON-	PRP
cord-030686-wv77zwsc	30	25	.	.	.
cord-030686-wv77zwsc	31	1	Thus	thus	RB
cord-030686-wv77zwsc	31	2	the	the	DT
cord-030686-wv77zwsc	31	3	estimateγ	estimateγ	NN
cord-030686-wv77zwsc	31	4	is	be	VBZ
cord-030686-wv77zwsc	31	5	either	either	DT
cord-030686-wv77zwsc	31	6	(	(	-LRB-
cord-030686-wv77zwsc	31	7	an	an	DT
cord-030686-wv77zwsc	31	8	incorrect	incorrect	JJ
cord-030686-wv77zwsc	31	9	)	)	-RRB-
cord-030686-wv77zwsc	31	10	0	0	NFP
cord-030686-wv77zwsc	32	1	or	or	CC
cord-030686-wv77zwsc	32	2	,	,	,
cord-030686-wv77zwsc	32	3	if	if	IN
cord-030686-wv77zwsc	32	4	a	a	DT
cord-030686-wv77zwsc	32	5	few	few	JJ
cord-030686-wv77zwsc	32	6	traces	trace	NNS
cord-030686-wv77zwsc	32	7	do	do	VBP
cord-030686-wv77zwsc	32	8	visit	visit	VB
cord-030686-wv77zwsc	32	9	these	these	DT
cord-030686-wv77zwsc	32	10	states	state	NNS
cord-030686-wv77zwsc	32	11	,	,	,
cord-030686-wv77zwsc	32	12	statistical	statistical	JJ
cord-030686-wv77zwsc	32	13	error	error	NN
cord-030686-wv77zwsc	32	14	quantification	quantification	NN
cord-030686-wv77zwsc	32	15	make	make	VBP
cord-030686-wv77zwsc	32	16	ε	ε	NNP
cord-030686-wv77zwsc	32	17	skyrocket	skyrocket	VB
cord-030686-wv77zwsc	32	18	.	.	.
cord-030686-wv77zwsc	33	1	To	to	TO
cord-030686-wv77zwsc	33	2	counter	counter	VB
cord-030686-wv77zwsc	33	3	such	such	JJ
cord-030686-wv77zwsc	33	4	phenomenon	phenomenon	NN
cord-030686-wv77zwsc	33	5	,	,	,
cord-030686-wv77zwsc	33	6	n	n	CC
cord-030686-wv77zwsc	33	7	must	must	MD
cord-030686-wv77zwsc	33	8	increase	increase	VB
cord-030686-wv77zwsc	33	9	as	as	IN
cord-030686-wv77zwsc	33	10	γ	γ	NN
cord-030686-wv77zwsc	33	11	decreases	decrease	VBZ
cord-030686-wv77zwsc	33	12	.	.	.
cord-030686-wv77zwsc	34	1	Unfortunately	unfortunately	RB
cord-030686-wv77zwsc	34	2	,	,	,
cord-030686-wv77zwsc	34	3	for	for	IN
cord-030686-wv77zwsc	34	4	typical	typical	JJ
cord-030686-wv77zwsc	34	5	estimates	estimate	NNS
cord-030686-wv77zwsc	34	6	such	such	JJ
cord-030686-wv77zwsc	34	7	as	as	IN
cord-030686-wv77zwsc	34	8	the	the	DT
cord-030686-wv77zwsc	34	9	sample	sample	NN
cord-030686-wv77zwsc	34	10	mean	mean	NN
cord-030686-wv77zwsc	34	11	,	,	,
cord-030686-wv77zwsc	34	12	it	-PRON-	PRP
cord-030686-wv77zwsc	34	13	takes	take	VBZ
cord-030686-wv77zwsc	34	14	n	n	NN
cord-030686-wv77zwsc	34	15	384	384	CD
cord-030686-wv77zwsc	34	16	/γ	/γ	NNP
cord-030686-wv77zwsc	34	17	to	to	TO
cord-030686-wv77zwsc	34	18	build	build	VB
cord-030686-wv77zwsc	34	19	a	a	DT
cord-030686-wv77zwsc	34	20	(	(	-LRB-
cord-030686-wv77zwsc	34	21	rather	rather	RB
cord-030686-wv77zwsc	34	22	lax	lax	JJ
cord-030686-wv77zwsc	34	23	!	!	.
cord-030686-wv77zwsc	34	24	)	)	-RRB-
cord-030686-wv77zwsc	35	1	ci	ci	NNP
cord-030686-wv77zwsc	35	2	where	where	WRB
cord-030686-wv77zwsc	35	3	δ	δ	NN
cord-030686-wv77zwsc	35	4	=	=	SYM
cord-030686-wv77zwsc	35	5	0.95	0.95	CD
cord-030686-wv77zwsc	35	6	and	and	CC
cord-030686-wv77zwsc	35	7	ε	ε	NN
cord-030686-wv77zwsc	35	8	=	=	SYM
cord-030686-wv77zwsc	35	9	γ	γ	NN
cord-030686-wv77zwsc	35	10	10	10	CD
cord-030686-wv77zwsc	35	11	.	.	.
cord-030686-wv77zwsc	36	1	If	if	IN
cord-030686-wv77zwsc	36	2	e.g.	e.g.	RB
cord-030686-wv77zwsc	36	3	γ	γ	NN
cord-030686-wv77zwsc	36	4	≈	≈	NNP
cord-030686-wv77zwsc	36	5	10	10	CD
cord-030686-wv77zwsc	37	1	−8	−8	NNP
cord-030686-wv77zwsc	38	1	then	then	RB
cord-030686-wv77zwsc	38	2	n	n	NN
cord-030686-wv77zwsc	38	3	38400000000	38400000000	CD
cord-030686-wv77zwsc	38	4	traces	trace	NNS
cord-030686-wv77zwsc	38	5	are	be	VBP
cord-030686-wv77zwsc	38	6	needed	need	VBN
cord-030686-wv77zwsc	38	7	,	,	,
cord-030686-wv77zwsc	38	8	causing	cause	VBG
cord-030686-wv77zwsc	38	9	trace	trace	NN
cord-030686-wv77zwsc	38	10	-	-	HYPH
cord-030686-wv77zwsc	38	11	sampling	sampling	NN
cord-030686-wv77zwsc	38	12	times	time	NNS
cord-030686-wv77zwsc	38	13	to	to	TO
cord-030686-wv77zwsc	38	14	grow	grow	VB
cord-030686-wv77zwsc	38	15	unacceptably	unacceptably	RB
cord-030686-wv77zwsc	38	16	long	long	RB
cord-030686-wv77zwsc	38	17	.	.	.
cord-030686-wv77zwsc	39	1	Rare	rare	JJ
cord-030686-wv77zwsc	39	2	Event	Event	NNP
cord-030686-wv77zwsc	39	3	Simulation	Simulation	NNP
cord-030686-wv77zwsc	39	4	(	(	-LRB-
cord-030686-wv77zwsc	39	5	res	re	NNS
cord-030686-wv77zwsc	39	6	[	[	-LRB-
cord-030686-wv77zwsc	39	7	24	24	CD
cord-030686-wv77zwsc	39	8	]	]	-RRB-
cord-030686-wv77zwsc	39	9	)	)	-RRB-
cord-030686-wv77zwsc	39	10	methods	method	NNS
cord-030686-wv77zwsc	39	11	tackle	tackle	VBP
cord-030686-wv77zwsc	39	12	this	this	DT
cord-030686-wv77zwsc	39	13	issue	issue	NN
cord-030686-wv77zwsc	39	14	.	.	.
cord-030686-wv77zwsc	40	1	The	the	DT
cord-030686-wv77zwsc	40	2	two	two	CD
cord-030686-wv77zwsc	40	3	main	main	JJ
cord-030686-wv77zwsc	40	4	res	re	NNS
cord-030686-wv77zwsc	40	5	methods	method	NNS
cord-030686-wv77zwsc	40	6	are	be	VBP
cord-030686-wv77zwsc	40	7	importance	importance	NN
cord-030686-wv77zwsc	40	8	sampling	sampling	NN
cord-030686-wv77zwsc	40	9	(	(	-LRB-
cord-030686-wv77zwsc	40	10	is	be	VBZ
cord-030686-wv77zwsc	40	11	)	)	-RRB-
cord-030686-wv77zwsc	40	12	and	and	CC
cord-030686-wv77zwsc	40	13	importance	importance	NN
cord-030686-wv77zwsc	40	14	splitting	splitting	NN
cord-030686-wv77zwsc	40	15	(	(	-LRB-
cord-030686-wv77zwsc	40	16	isplit	isplit	NNP
cord-030686-wv77zwsc	40	17	)	)	-RRB-
cord-030686-wv77zwsc	40	18	.	.	.
cord-030686-wv77zwsc	41	1	is	be	VBZ
cord-030686-wv77zwsc	41	2	compromises	compromise	VBZ
cord-030686-wv77zwsc	41	3	the	the	DT
cord-030686-wv77zwsc	41	4	aforementioned	aforementioned	JJ
cord-030686-wv77zwsc	41	5	up	up	RP
cord-030686-wv77zwsc	41	6	,	,	,
cord-030686-wv77zwsc	41	7	since	since	IN
cord-030686-wv77zwsc	41	8	it	-PRON-	PRP
cord-030686-wv77zwsc	41	9	must	must	MD
cord-030686-wv77zwsc	41	10	tamper	tamper	VB
cord-030686-wv77zwsc	41	11	the	the	DT
cord-030686-wv77zwsc	41	12	stochastic	stochastic	JJ
cord-030686-wv77zwsc	41	13	transitions	transition	NNS
cord-030686-wv77zwsc	41	14	of	of	IN
cord-030686-wv77zwsc	41	15	the	the	DT
cord-030686-wv77zwsc	41	16	model	model	NN
cord-030686-wv77zwsc	41	17	.	.	.
cord-030686-wv77zwsc	42	1	Given	give	VBN
cord-030686-wv77zwsc	42	2	that	that	IN
cord-030686-wv77zwsc	42	3	the	the	DT
cord-030686-wv77zwsc	42	4	study	study	NN
cord-030686-wv77zwsc	42	5	of	of	IN
cord-030686-wv77zwsc	42	6	non	non	JJ
cord-030686-wv77zwsc	42	7	-	-	JJ
cord-030686-wv77zwsc	42	8	Markovian	markovian	JJ
cord-030686-wv77zwsc	42	9	systems	system	NNS
cord-030686-wv77zwsc	42	10	is	be	VBZ
cord-030686-wv77zwsc	42	11	a	a	DT
cord-030686-wv77zwsc	42	12	chief	chief	JJ
cord-030686-wv77zwsc	42	13	reason	reason	NN
cord-030686-wv77zwsc	42	14	to	to	TO
cord-030686-wv77zwsc	42	15	use	use	VB
cord-030686-wv77zwsc	42	16	smc	smc	NNP
cord-030686-wv77zwsc	42	17	,	,	,
cord-030686-wv77zwsc	42	18	Related	related	JJ
cord-030686-wv77zwsc	42	19	work	work	NN
cord-030686-wv77zwsc	42	20	.	.	.
cord-030686-wv77zwsc	43	1	Other	other	JJ
cord-030686-wv77zwsc	43	2	statistical	statistical	JJ
cord-030686-wv77zwsc	43	3	model	model	NN
cord-030686-wv77zwsc	43	4	checkers	checker	NNS
cord-030686-wv77zwsc	43	5	offer	offer	VBP
cord-030686-wv77zwsc	43	6	res	re	NNS
cord-030686-wv77zwsc	43	7	methods	method	NNS
cord-030686-wv77zwsc	43	8	to	to	IN
cord-030686-wv77zwsc	43	9	some	some	DT
cord-030686-wv77zwsc	43	10	degree	degree	NN
cord-030686-wv77zwsc	43	11	of	of	IN
cord-030686-wv77zwsc	43	12	automation	automation	NN
cord-030686-wv77zwsc	43	13	.	.	.
cord-030686-wv77zwsc	44	1	Plasma	plasma	NN
cord-030686-wv77zwsc	44	2	Lab	lab	NN
cord-030686-wv77zwsc	44	3	implements	implement	VBZ
cord-030686-wv77zwsc	44	4	automatic	automatic	JJ
cord-030686-wv77zwsc	44	5	is	be	VBZ
cord-030686-wv77zwsc	44	6	[	[	-LRB-
cord-030686-wv77zwsc	44	7	18	18	CD
cord-030686-wv77zwsc	44	8	]	]	-RRB-
cord-030686-wv77zwsc	44	9	and	and	CC
cord-030686-wv77zwsc	44	10	semiautomatic	semiautomatic	JJ
cord-030686-wv77zwsc	44	11	isplit	isplit	NN
cord-030686-wv77zwsc	44	12	[	[	-LRB-
cord-030686-wv77zwsc	44	13	21	21	CD
cord-030686-wv77zwsc	44	14	]	]	-RRB-
cord-030686-wv77zwsc	44	15	for	for	IN
cord-030686-wv77zwsc	44	16	Markov	Markov	NNP
cord-030686-wv77zwsc	44	17	chains	chain	NNS
cord-030686-wv77zwsc	44	18	.	.	.
cord-030686-wv77zwsc	45	1	Its	-PRON-	PRP$
cord-030686-wv77zwsc	45	2	isplit	isplit	JJ
cord-030686-wv77zwsc	45	3	engine	engine	NN
cord-030686-wv77zwsc	45	4	offers	offer	VBZ
cord-030686-wv77zwsc	45	5	a	a	DT
cord-030686-wv77zwsc	45	6	wizard	wizard	NN
cord-030686-wv77zwsc	45	7	that	that	WDT
cord-030686-wv77zwsc	45	8	guides	guide	VBZ
cord-030686-wv77zwsc	45	9	the	the	DT
cord-030686-wv77zwsc	45	10	user	user	NN
cord-030686-wv77zwsc	45	11	to	to	TO
cord-030686-wv77zwsc	45	12	choose	choose	VB
cord-030686-wv77zwsc	45	13	an	an	DT
cord-030686-wv77zwsc	45	14	importance	importance	NN
cord-030686-wv77zwsc	45	15	function	function	NN
cord-030686-wv77zwsc	45	16	.	.	.
cord-030686-wv77zwsc	46	1	The	the	DT
cord-030686-wv77zwsc	46	2	wizard	wizard	NN
cord-030686-wv77zwsc	46	3	exploits	exploit	VBZ
cord-030686-wv77zwsc	46	4	a	a	DT
cord-030686-wv77zwsc	46	5	layered	layered	JJ
cord-030686-wv77zwsc	46	6	decomposition	decomposition	NN
cord-030686-wv77zwsc	46	7	of	of	IN
cord-030686-wv77zwsc	46	8	the	the	DT
cord-030686-wv77zwsc	46	9	property	property	NN
cord-030686-wv77zwsc	46	10	query	query	NN
cord-030686-wv77zwsc	46	11	-	-	:
cord-030686-wv77zwsc	46	12	not	not	RB
cord-030686-wv77zwsc	46	13	the	the	DT
cord-030686-wv77zwsc	46	14	system	system	NN
cord-030686-wv77zwsc	46	15	model	model	NN
cord-030686-wv77zwsc	46	16	.	.	.
cord-030686-wv77zwsc	47	1	Via	via	IN
cord-030686-wv77zwsc	47	2	apis	apis	NNP
cord-030686-wv77zwsc	47	3	,	,	,
cord-030686-wv77zwsc	47	4	the	the	DT
cord-030686-wv77zwsc	47	5	isplit	isplit	JJ
cord-030686-wv77zwsc	47	6	engine	engine	NN
cord-030686-wv77zwsc	47	7	of	of	IN
cord-030686-wv77zwsc	47	8	Plasma	Plasma	NNP
cord-030686-wv77zwsc	47	9	Lab	Lab	NNP
cord-030686-wv77zwsc	47	10	could	could	MD
cord-030686-wv77zwsc	47	11	be	be	VB
cord-030686-wv77zwsc	47	12	extended	extend	VBN
cord-030686-wv77zwsc	47	13	beyond	beyond	IN
cord-030686-wv77zwsc	47	14	dtmc	dtmc	JJ
cord-030686-wv77zwsc	47	15	models	model	NNS
cord-030686-wv77zwsc	47	16	.	.	.
cord-030686-wv77zwsc	48	1	SBIP	SBIP	NNP
cord-030686-wv77zwsc	48	2	2.0	2.0	CD
cord-030686-wv77zwsc	48	3	[	[	-LRB-
cord-030686-wv77zwsc	48	4	22	22	CD
cord-030686-wv77zwsc	48	5	]	]	-RRB-
cord-030686-wv77zwsc	48	6	implements	implement	VBZ
cord-030686-wv77zwsc	48	7	the	the	DT
cord-030686-wv77zwsc	48	8	same	same	JJ
cord-030686-wv77zwsc	48	9	(	(	-LRB-
cord-030686-wv77zwsc	48	10	semiautomatic	semiautomatic	JJ
cord-030686-wv77zwsc	48	11	,	,	,
cord-030686-wv77zwsc	48	12	property	property	NN
cord-030686-wv77zwsc	48	13	-	-	HYPH
cord-030686-wv77zwsc	48	14	based	base	VBN
cord-030686-wv77zwsc	48	15	)	)	-RRB-
cord-030686-wv77zwsc	48	16	engine	engine	NN
cord-030686-wv77zwsc	48	17	for	for	IN
cord-030686-wv77zwsc	48	18	dtmcs	dtmcs	NNP
cord-030686-wv77zwsc	48	19	.	.	.
cord-030686-wv77zwsc	49	1	SBIP	SBIP	NNP
cord-030686-wv77zwsc	49	2	offers	offer	VBZ
cord-030686-wv77zwsc	49	3	a	a	DT
cord-030686-wv77zwsc	49	4	richer	rich	JJR
cord-030686-wv77zwsc	49	5	set	set	NN
cord-030686-wv77zwsc	49	6	of	of	IN
cord-030686-wv77zwsc	49	7	temporal	temporal	JJ
cord-030686-wv77zwsc	49	8	logics	logic	NNS
cord-030686-wv77zwsc	49	9	to	to	TO
cord-030686-wv77zwsc	49	10	define	define	VB
cord-030686-wv77zwsc	49	11	the	the	DT
cord-030686-wv77zwsc	49	12	property	property	NN
cord-030686-wv77zwsc	49	13	query	query	NN
cord-030686-wv77zwsc	49	14	in	in	IN
cord-030686-wv77zwsc	49	15	.	.	.
cord-030686-wv77zwsc	50	1	Cosmos	Cosmos	NNP
cord-030686-wv77zwsc	50	2	[	[	-LRB-
cord-030686-wv77zwsc	50	3	1	1	CD
cord-030686-wv77zwsc	50	4	]	]	-RRB-
cord-030686-wv77zwsc	50	5	and	and	CC
cord-030686-wv77zwsc	50	6	ftres	ftre	NNS
cord-030686-wv77zwsc	50	7	[	[	-LRB-
cord-030686-wv77zwsc	50	8	26	26	CD
cord-030686-wv77zwsc	50	9	]	]	-RRB-
cord-030686-wv77zwsc	50	10	implement	implement	VB
cord-030686-wv77zwsc	50	11	importance	importance	NN
cord-030686-wv77zwsc	50	12	sampling	sampling	NN
cord-030686-wv77zwsc	50	13	on	on	IN
cord-030686-wv77zwsc	50	14	Markov	Markov	NNP
cord-030686-wv77zwsc	50	15	chains	chain	NNS
cord-030686-wv77zwsc	50	16	,	,	,
cord-030686-wv77zwsc	50	17	the	the	DT
cord-030686-wv77zwsc	50	18	latter	latter	JJ
cord-030686-wv77zwsc	50	19	specialising	specialise	VBG
cord-030686-wv77zwsc	50	20	in	in	IN
cord-030686-wv77zwsc	50	21	systems	system	NNS
cord-030686-wv77zwsc	50	22	described	describe	VBN
cord-030686-wv77zwsc	50	23	as	as	IN
cord-030686-wv77zwsc	50	24	repairable	repairable	JJ
cord-030686-wv77zwsc	50	25	Dynamic	dynamic	JJ
cord-030686-wv77zwsc	50	26	Fault	fault	NN
cord-030686-wv77zwsc	50	27	Trees	tree	NNS
cord-030686-wv77zwsc	50	28	(	(	-LRB-
cord-030686-wv77zwsc	50	29	dfts	dft	NNS
cord-030686-wv77zwsc	50	30	)	)	-RRB-
cord-030686-wv77zwsc	50	31	.	.	.
cord-030686-wv77zwsc	51	1	All	all	PDT
cord-030686-wv77zwsc	51	2	these	these	DT
cord-030686-wv77zwsc	51	3	tools	tool	NNS
cord-030686-wv77zwsc	51	4	can	can	MD
cord-030686-wv77zwsc	51	5	operate	operate	VB
cord-030686-wv77zwsc	51	6	directly	directly	RB
cord-030686-wv77zwsc	51	7	on	on	IN
cord-030686-wv77zwsc	51	8	Markovian	markovian	JJ
cord-030686-wv77zwsc	51	9	models	model	NNS
cord-030686-wv77zwsc	51	10	,	,	,
cord-030686-wv77zwsc	51	11	and	and	CC
cord-030686-wv77zwsc	51	12	none	none	NN
cord-030686-wv77zwsc	51	13	offers	offer	VBZ
cord-030686-wv77zwsc	51	14	fully	fully	RB
cord-030686-wv77zwsc	51	15	automated	automate	VBN
cord-030686-wv77zwsc	51	16	isplit	isplit	NNP
cord-030686-wv77zwsc	51	17	.	.	.
cord-030686-wv77zwsc	52	1	Instead	instead	RB
cord-030686-wv77zwsc	52	2	,	,	,
cord-030686-wv77zwsc	52	3	the	the	DT
cord-030686-wv77zwsc	52	4	smc	smc	NNP
cord-030686-wv77zwsc	52	5	tool	tool	NN
cord-030686-wv77zwsc	52	6	modes	mode	NNS
cord-030686-wv77zwsc	52	7	can	can	MD
cord-030686-wv77zwsc	52	8	also	also	RB
cord-030686-wv77zwsc	52	9	cope	cope	VB
cord-030686-wv77zwsc	52	10	with	with	IN
cord-030686-wv77zwsc	52	11	nondeterminism	nondeterminism	NN
cord-030686-wv77zwsc	52	12	(	(	-LRB-
cord-030686-wv77zwsc	52	13	e.g.	e.g.	RB
cord-030686-wv77zwsc	52	14	in	in	IN
cord-030686-wv77zwsc	52	15	Markov	Markov	NNP
cord-030686-wv77zwsc	52	16	automata	automata	NN
cord-030686-wv77zwsc	52	17	)	)	-RRB-
cord-030686-wv77zwsc	52	18	using	use	VBG
cord-030686-wv77zwsc	52	19	the	the	DT
cord-030686-wv77zwsc	52	20	LSS	LSS	NNP
cord-030686-wv77zwsc	52	21	algorithm	algorithm	NN
cord-030686-wv77zwsc	52	22	[	[	-LRB-
cord-030686-wv77zwsc	52	23	10	10	CD
cord-030686-wv77zwsc	52	24	,	,	,
cord-030686-wv77zwsc	52	25	5	5	CD
cord-030686-wv77zwsc	52	26	]	]	-RRB-
cord-030686-wv77zwsc	52	27	.	.	.
cord-030686-wv77zwsc	53	1	On	on	IN
cord-030686-wv77zwsc	53	2	the	the	DT
cord-030686-wv77zwsc	53	3	other	other	JJ
cord-030686-wv77zwsc	53	4	hand	hand	NN
cord-030686-wv77zwsc	53	5	,	,	,
cord-030686-wv77zwsc	53	6	using	use	VBG
cord-030686-wv77zwsc	53	7	the	the	DT
cord-030686-wv77zwsc	53	8	batch	batch	NN
cord-030686-wv77zwsc	53	9	means	mean	NNS
cord-030686-wv77zwsc	53	10	method	method	NN
cord-030686-wv77zwsc	53	11	,	,	,
cord-030686-wv77zwsc	53	12	FIG	FIG	NNP
cord-030686-wv77zwsc	53	13	can	can	MD
cord-030686-wv77zwsc	53	14	estimate	estimate	VB
cord-030686-wv77zwsc	53	15	steady	steady	JJ
cord-030686-wv77zwsc	53	16	-	-	HYPH
cord-030686-wv77zwsc	53	17	state	state	NN
cord-030686-wv77zwsc	53	18	properties	property	NNS
cord-030686-wv77zwsc	53	19	,	,	,
cord-030686-wv77zwsc	53	20	which	which	WDT
cord-030686-wv77zwsc	53	21	modes	mode	NNS
cord-030686-wv77zwsc	53	22	can	can	MD
cord-030686-wv77zwsc	53	23	not	not	RB
cord-030686-wv77zwsc	53	24	currently	currently	RB
cord-030686-wv77zwsc	53	25	do	do	VB
cord-030686-wv77zwsc	53	26	.	.	.
cord-030686-wv77zwsc	54	1	Moreover	moreover	RB
cord-030686-wv77zwsc	54	2	,	,	,
cord-030686-wv77zwsc	54	3	 	 	_SP
cord-030686-wv77zwsc	54	4	res	res	FW
cord-030686-wv77zwsc	54	5	methods	method	NNS
cord-030686-wv77zwsc	54	6	make	make	VBP
cord-030686-wv77zwsc	54	7	more	more	JJR
cord-030686-wv77zwsc	54	8	traces	trace	NNS
cord-030686-wv77zwsc	54	9	visit	visit	VB
cord-030686-wv77zwsc	54	10	the	the	DT
cord-030686-wv77zwsc	54	11	rare	rare	JJ
cord-030686-wv77zwsc	54	12	states	state	NNS
cord-030686-wv77zwsc	54	13	that	that	WDT
cord-030686-wv77zwsc	54	14	satisfy	satisfy	VBP
cord-030686-wv77zwsc	54	15	a	a	DT
cord-030686-wv77zwsc	54	16	property	property	NN
cord-030686-wv77zwsc	54	17	ϕ	ϕ	NN
cord-030686-wv77zwsc	54	18	(	(	-LRB-
cord-030686-wv77zwsc	54	19	the	the	DT
cord-030686-wv77zwsc	54	20	set	set	NN
cord-030686-wv77zwsc	54	21	S	S	NNP
cord-030686-wv77zwsc	54	22	ϕ	ϕ	NN
cord-030686-wv77zwsc	54	23	)	)	-RRB-
cord-030686-wv77zwsc	54	24	,	,	,
cord-030686-wv77zwsc	54	25	to	to	TO
cord-030686-wv77zwsc	54	26	reduce	reduce	VB
cord-030686-wv77zwsc	54	27	the	the	DT
cord-030686-wv77zwsc	54	28	variance	variance	NN
cord-030686-wv77zwsc	54	29	of	of	IN
cord-030686-wv77zwsc	54	30	smc	smc	NNP
cord-030686-wv77zwsc	54	31	estimators	estimator	NNS
cord-030686-wv77zwsc	54	32	.	.	.
cord-030686-wv77zwsc	55	1	For	for	IN
cord-030686-wv77zwsc	55	2	a	a	DT
cord-030686-wv77zwsc	55	3	fixed	fixed	JJ
cord-030686-wv77zwsc	55	4	budget	budget	NN
cord-030686-wv77zwsc	55	5	of	of	IN
cord-030686-wv77zwsc	55	6	traces	trace	NNS
cord-030686-wv77zwsc	55	7	n	n	CC
cord-030686-wv77zwsc	55	8	,	,	,
cord-030686-wv77zwsc	55	9	this	this	DT
cord-030686-wv77zwsc	55	10	yields	yield	VBZ
cord-030686-wv77zwsc	55	11	more	more	RBR
cord-030686-wv77zwsc	55	12	precise	precise	JJ
cord-030686-wv77zwsc	55	13	cis	cis	NNP
cord-030686-wv77zwsc	55	14	than	than	IN
cord-030686-wv77zwsc	55	15	classical	classical	JJ
cord-030686-wv77zwsc	55	16	Monte	Monte	NNP
cord-030686-wv77zwsc	55	17	Carlo	Carlo	NNP
cord-030686-wv77zwsc	55	18	simulation	simulation	NN
cord-030686-wv77zwsc	55	19	(	(	-LRB-
cord-030686-wv77zwsc	55	20	cmc	cmc	NNP
cord-030686-wv77zwsc	55	21	)	)	-RRB-
cord-030686-wv77zwsc	55	22	.	.	.
cord-030686-wv77zwsc	56	1	FIG	fig	NN
cord-030686-wv77zwsc	56	2	implements	implement	VBZ
cord-030686-wv77zwsc	56	3	importance	importance	NN
cord-030686-wv77zwsc	56	4	splitting	splitting	NN
cord-030686-wv77zwsc	56	5	:	:	:
cord-030686-wv77zwsc	56	6	a	a	DT
cord-030686-wv77zwsc	56	7	main	main	JJ
cord-030686-wv77zwsc	56	8	res	res	NN
cord-030686-wv77zwsc	56	9	method	method	NN
cord-030686-wv77zwsc	56	10	that	that	WDT
cord-030686-wv77zwsc	56	11	can	can	MD
cord-030686-wv77zwsc	56	12	work	work	VB
cord-030686-wv77zwsc	56	13	on	on	IN
cord-030686-wv77zwsc	56	14	non	non	JJ
cord-030686-wv77zwsc	56	15	-	-	JJ
cord-030686-wv77zwsc	56	16	Markovian	markovian	JJ
cord-030686-wv77zwsc	56	17	systems	system	NNS
cord-030686-wv77zwsc	56	18	without	without	IN
cord-030686-wv77zwsc	56	19	special	special	JJ
cord-030686-wv77zwsc	56	20	considerations	consideration	NNS
cord-030686-wv77zwsc	56	21	.	.	.
cord-030686-wv77zwsc	57	1	isplit	isplit	NNP
cord-030686-wv77zwsc	57	2	splits	split	VBZ
cord-030686-wv77zwsc	57	3	the	the	DT
cord-030686-wv77zwsc	57	4	states	state	NNS
cord-030686-wv77zwsc	57	5	of	of	IN
cord-030686-wv77zwsc	57	6	the	the	DT
cord-030686-wv77zwsc	57	7	model	model	NN
cord-030686-wv77zwsc	57	8	into	into	IN
cord-030686-wv77zwsc	57	9	layers	layer	NNS
cord-030686-wv77zwsc	57	10	that	that	WDT
cord-030686-wv77zwsc	57	11	wrap	wrap	VBP
cord-030686-wv77zwsc	57	12	S	S	NNP
cord-030686-wv77zwsc	57	13	ϕ	ϕ	NN
cord-030686-wv77zwsc	57	14	like	like	IN
cord-030686-wv77zwsc	57	15	an	an	DT
cord-030686-wv77zwsc	57	16	onion	onion	NN
cord-030686-wv77zwsc	57	17	.	.	.
cord-030686-wv77zwsc	58	1	Reaching	reach	VBG
cord-030686-wv77zwsc	58	2	a	a	DT
cord-030686-wv77zwsc	58	3	state	state	NN
cord-030686-wv77zwsc	58	4	in	in	IN
cord-030686-wv77zwsc	58	5	S	S	NNP
cord-030686-wv77zwsc	58	6	ϕ	ϕ	NN
cord-030686-wv77zwsc	58	7	from	from	IN
cord-030686-wv77zwsc	58	8	the	the	DT
cord-030686-wv77zwsc	58	9	surface	surface	NN
cord-030686-wv77zwsc	58	10	is	be	VBZ
cord-030686-wv77zwsc	58	11	then	then	RB
cord-030686-wv77zwsc	58	12	broken	break	VBN
cord-030686-wv77zwsc	58	13	down	down	RP
cord-030686-wv77zwsc	58	14	into	into	IN
cord-030686-wv77zwsc	58	15	many	many	JJ
cord-030686-wv77zwsc	58	16	steps	step	NNS
cord-030686-wv77zwsc	58	17	.	.	.
cord-030686-wv77zwsc	59	1	The	the	DT
cord-030686-wv77zwsc	59	2	i	i	NN
cord-030686-wv77zwsc	59	3	-	-	HYPH
cord-030686-wv77zwsc	59	4	th	th	RP
cord-030686-wv77zwsc	59	5	step	step	NN
cord-030686-wv77zwsc	59	6	estimates	estimate	VBZ
cord-030686-wv77zwsc	59	7	the	the	DT
cord-030686-wv77zwsc	59	8	conditional	conditional	JJ
cord-030686-wv77zwsc	59	9	probability	probability	NN
cord-030686-wv77zwsc	59	10	to	to	TO
cord-030686-wv77zwsc	59	11	reach	reach	VB
cord-030686-wv77zwsc	59	12	(	(	-LRB-
cord-030686-wv77zwsc	59	13	the	the	DT
cord-030686-wv77zwsc	59	14	inner	inner	NN
cord-030686-wv77zwsc	59	15	)	)	-RRB-
cord-030686-wv77zwsc	59	16	layer	layer	NN
cord-030686-wv77zwsc	59	17	i	i	PRP
cord-030686-wv77zwsc	59	18	+	+	SYM
cord-030686-wv77zwsc	59	19	1	1	CD
cord-030686-wv77zwsc	59	20	from	from	IN
cord-030686-wv77zwsc	59	21	(	(	-LRB-
cord-030686-wv77zwsc	59	22	the	the	DT
cord-030686-wv77zwsc	59	23	outer	outer	NN
cord-030686-wv77zwsc	59	24	)	)	-RRB-
cord-030686-wv77zwsc	59	25	layer	layer	NN
cord-030686-wv77zwsc	60	1	i.	i.	NNP
cord-030686-wv77zwsc	61	1	This	this	DT
cord-030686-wv77zwsc	61	2	stepwise	stepwise	JJ
cord-030686-wv77zwsc	61	3	estimation	estimation	NN
cord-030686-wv77zwsc	61	4	of	of	IN
cord-030686-wv77zwsc	61	5	conditional	conditional	JJ
cord-030686-wv77zwsc	61	6	probabilities	probability	NNS
cord-030686-wv77zwsc	61	7	can	can	MD
cord-030686-wv77zwsc	61	8	be	be	VB
cord-030686-wv77zwsc	61	9	much	much	RB
cord-030686-wv77zwsc	61	10	more	more	RBR
cord-030686-wv77zwsc	61	11	efficient	efficient	JJ
cord-030686-wv77zwsc	61	12	than	than	IN
cord-030686-wv77zwsc	61	13	trying	try	VBG
cord-030686-wv77zwsc	61	14	to	to	TO
cord-030686-wv77zwsc	61	15	go	go	VB
cord-030686-wv77zwsc	61	16	in	in	IN
cord-030686-wv77zwsc	61	17	one	one	CD
cord-030686-wv77zwsc	61	18	leap	leap	NN
cord-030686-wv77zwsc	61	19	from	from	IN
cord-030686-wv77zwsc	61	20	the	the	DT
cord-030686-wv77zwsc	61	21	surface	surface	NN
cord-030686-wv77zwsc	61	22	of	of	IN
cord-030686-wv77zwsc	61	23	the	the	DT
cord-030686-wv77zwsc	61	24	onion	onion	NN
cord-030686-wv77zwsc	61	25	to	to	IN
cord-030686-wv77zwsc	61	26	its	-PRON-	PRP$
cord-030686-wv77zwsc	61	27	core	core	NN
cord-030686-wv77zwsc	61	28	[	[	-LRB-
cord-030686-wv77zwsc	61	29	20	20	CD
cord-030686-wv77zwsc	61	30	]	]	-RRB-
cord-030686-wv77zwsc	61	31	.	.	.
cord-030686-wv77zwsc	62	1	Formally	formally	RB
cord-030686-wv77zwsc	62	2	,	,	,
cord-030686-wv77zwsc	62	3	let	let	VB
cord-030686-wv77zwsc	62	4	S	S	NNP
cord-030686-wv77zwsc	62	5	be	be	VB
cord-030686-wv77zwsc	62	6	the	the	DT
cord-030686-wv77zwsc	62	7	states	state	NNS
cord-030686-wv77zwsc	62	8	of	of	IN
cord-030686-wv77zwsc	62	9	a	a	DT
cord-030686-wv77zwsc	62	10	model	model	NN
cord-030686-wv77zwsc	62	11	with	with	IN
cord-030686-wv77zwsc	62	12	initial	initial	JJ
cord-030686-wv77zwsc	62	13	states	state	NNS
cord-030686-wv77zwsc	62	14	S	S	NNP
cord-030686-wv77zwsc	62	15	0	0	CD
cord-030686-wv77zwsc	62	16	and	and	CC
cord-030686-wv77zwsc	62	17	rare	rare	JJ
cord-030686-wv77zwsc	62	18	states	state	NNS
cord-030686-wv77zwsc	63	1	This	this	DT
cord-030686-wv77zwsc	63	2	approach	approach	NN
cord-030686-wv77zwsc	63	3	is	be	VBZ
cord-030686-wv77zwsc	63	4	correct	correct	JJ
cord-030686-wv77zwsc	63	5	,	,	,
cord-030686-wv77zwsc	63	6	i.e.	i.e.	FW
cord-030686-wv77zwsc	63	7	it	-PRON-	PRP
cord-030686-wv77zwsc	63	8	yields	yield	VBZ
cord-030686-wv77zwsc	63	9	an	an	DT
cord-030686-wv77zwsc	63	10	unbiased	unbiased	JJ
cord-030686-wv77zwsc	63	11	estimatorγ	estimatorγ	NNS
cord-030686-wv77zwsc	63	12	which	which	WDT
cord-030686-wv77zwsc	63	13	depends	depend	VBZ
cord-030686-wv77zwsc	63	14	on	on	IN
cord-030686-wv77zwsc	63	15	how	how	WRB
cord-030686-wv77zwsc	63	16	the	the	DT
cord-030686-wv77zwsc	63	17	S	S	NNP
cord-030686-wv77zwsc	63	18	i	i	NN
cord-030686-wv77zwsc	63	19	layers	layer	NNS
cord-030686-wv77zwsc	63	20	where	where	WRB
cord-030686-wv77zwsc	63	21	chosen	choose	VBN
cord-030686-wv77zwsc	63	22	.	.	.
cord-030686-wv77zwsc	64	1	For	for	IN
cord-030686-wv77zwsc	64	2	this	this	DT
cord-030686-wv77zwsc	64	3	,	,	,
cord-030686-wv77zwsc	64	4	an	an	DT
cord-030686-wv77zwsc	64	5	importance	importance	NN
cord-030686-wv77zwsc	64	6	function	function	NN
cord-030686-wv77zwsc	64	7	f	f	NNP
cord-030686-wv77zwsc	64	8	:	:	:
cord-030686-wv77zwsc	64	9	S	s	NN
cord-030686-wv77zwsc	64	10	→	→	SYM
cord-030686-wv77zwsc	64	11	R	r	NN
cord-030686-wv77zwsc	64	12	0	0	CD
cord-030686-wv77zwsc	64	13	and	and	CC
cord-030686-wv77zwsc	64	14	thresholds	threshold	NNS
cord-030686-wv77zwsc	64	15	i	i	PRP
cord-030686-wv77zwsc	64	16	∈	∈	VBP
cord-030686-wv77zwsc	64	17	R	r	NN
cord-030686-wv77zwsc	64	18	0	0	CD
cord-030686-wv77zwsc	64	19	are	be	VBP
cord-030686-wv77zwsc	64	20	defined	define	VBN
cord-030686-wv77zwsc	64	21	:	:	:
cord-030686-wv77zwsc	64	22	and	and	CC
cord-030686-wv77zwsc	64	23	the	the	DT
cord-030686-wv77zwsc	64	24	importance	importance	NN
cord-030686-wv77zwsc	64	25	function	function	NN
cord-030686-wv77zwsc	64	26	f	f	NNP
cord-030686-wv77zwsc	64	27	.	.	.
cord-030686-wv77zwsc	65	1	These	these	DT
cord-030686-wv77zwsc	65	2	choices	choice	NNS
cord-030686-wv77zwsc	65	3	are	be	VBP
cord-030686-wv77zwsc	65	4	the	the	DT
cord-030686-wv77zwsc	65	5	key	key	JJ
cord-030686-wv77zwsc	65	6	challenge	challenge	NN
cord-030686-wv77zwsc	65	7	in	in	IN
cord-030686-wv77zwsc	65	8	isplit	isplit	NNP
cord-030686-wv77zwsc	65	9	[	[	-LRB-
cord-030686-wv77zwsc	65	10	20	20	CD
cord-030686-wv77zwsc	65	11	]	]	-RRB-
cord-030686-wv77zwsc	65	12	.	.	.
cord-030686-wv77zwsc	66	1	Theoretical	theoretical	JJ
cord-030686-wv77zwsc	66	2	developments	development	NNS
cord-030686-wv77zwsc	66	3	assume	assume	VBP
cord-030686-wv77zwsc	66	4	f	f	NNP
cord-030686-wv77zwsc	66	5	is	be	VBZ
cord-030686-wv77zwsc	66	6	given	give	VBN
cord-030686-wv77zwsc	66	7	[	[	-LRB-
cord-030686-wv77zwsc	66	8	12	12	CD
cord-030686-wv77zwsc	66	9	,	,	,
cord-030686-wv77zwsc	66	10	8	8	CD
cord-030686-wv77zwsc	66	11	]	]	-RRB-
cord-030686-wv77zwsc	66	12	,	,	,
cord-030686-wv77zwsc	66	13	and	and	CC
cord-030686-wv77zwsc	66	14	applications	application	NNS
cord-030686-wv77zwsc	66	15	define	define	VBP
cord-030686-wv77zwsc	66	16	it	-PRON-	PRP
cord-030686-wv77zwsc	66	17	ad	ad	FW
cord-030686-wv77zwsc	66	18	hoc	hoc	FW
cord-030686-wv77zwsc	66	19	via	via	IN
cord-030686-wv77zwsc	66	20	(	(	-LRB-
cord-030686-wv77zwsc	66	21	res	re	NNS
cord-030686-wv77zwsc	66	22	and	and	CC
cord-030686-wv77zwsc	66	23	domain	domain	NN
cord-030686-wv77zwsc	66	24	)	)	-RRB-
cord-030686-wv77zwsc	66	25	expert	expert	JJ
cord-030686-wv77zwsc	66	26	knowledge	knowledge	NN
cord-030686-wv77zwsc	66	27	[	[	-LRB-
cord-030686-wv77zwsc	66	28	30	30	CD
cord-030686-wv77zwsc	66	29	,	,	,
cord-030686-wv77zwsc	66	30	27	27	CD
cord-030686-wv77zwsc	66	31	]	]	-RRB-
cord-030686-wv77zwsc	66	32	.	.	.
cord-030686-wv77zwsc	67	1	Yet	yet	CC
cord-030686-wv77zwsc	67	2	there	there	EX
cord-030686-wv77zwsc	67	3	is	be	VBZ
cord-030686-wv77zwsc	67	4	one	one	CD
cord-030686-wv77zwsc	67	5	general	general	JJ
cord-030686-wv77zwsc	67	6	rule	rule	NN
cord-030686-wv77zwsc	67	7	:	:	:
cord-030686-wv77zwsc	67	8	importance	importance	NN
cord-030686-wv77zwsc	67	9	must	must	MD
cord-030686-wv77zwsc	67	10	be	be	VB
cord-030686-wv77zwsc	67	11	proportional	proportional	JJ
cord-030686-wv77zwsc	67	12	to	to	IN
cord-030686-wv77zwsc	67	13	the	the	DT
cord-030686-wv77zwsc	67	14	probability	probability	NN
cord-030686-wv77zwsc	67	15	of	of	IN
cord-030686-wv77zwsc	67	16	reaching	reach	VBG
cord-030686-wv77zwsc	67	17	S	S	NNP
cord-030686-wv77zwsc	67	18	ϕ	ϕ	NN
cord-030686-wv77zwsc	67	19	.	.	.
cord-030686-wv77zwsc	68	1	Thus	thus	RB
cord-030686-wv77zwsc	68	2	for	for	IN
cord-030686-wv77zwsc	68	3	s	s	NNP
cord-030686-wv77zwsc	68	4	,	,	,
cord-030686-wv77zwsc	68	5	s	s	NNP
cord-030686-wv77zwsc	68	6	∈	∈	NNP
cord-030686-wv77zwsc	68	7	S	S	NNP
cord-030686-wv77zwsc	68	8	,	,	,
cord-030686-wv77zwsc	68	9	if	if	IN
cord-030686-wv77zwsc	68	10	a	a	DT
cord-030686-wv77zwsc	68	11	trace	trace	NN
cord-030686-wv77zwsc	68	12	that	that	WDT
cord-030686-wv77zwsc	68	13	visits	visit	VBZ
cord-030686-wv77zwsc	68	14	s	s	POS
cord-030686-wv77zwsc	68	15	is	be	VBZ
cord-030686-wv77zwsc	68	16	more	more	RBR
cord-030686-wv77zwsc	68	17	likely	likely	JJ
cord-030686-wv77zwsc	68	18	to	to	TO
cord-030686-wv77zwsc	68	19	observe	observe	VB
cord-030686-wv77zwsc	68	20	a	a	DT
cord-030686-wv77zwsc	68	21	rare	rare	JJ
cord-030686-wv77zwsc	68	22	state	state	NN
cord-030686-wv77zwsc	68	23	,	,	,
cord-030686-wv77zwsc	68	24	one	one	NN
cord-030686-wv77zwsc	68	25	wants	want	VBZ
cord-030686-wv77zwsc	68	26	f	f	NNP
cord-030686-wv77zwsc	68	27	(	(	-LRB-
cord-030686-wv77zwsc	68	28	s	s	NN
cord-030686-wv77zwsc	68	29	)	)	-RRB-
cord-030686-wv77zwsc	68	30	f	f	NNP
cord-030686-wv77zwsc	68	31	(	(	-LRB-
cord-030686-wv77zwsc	68	32	s	s	NNP
cord-030686-wv77zwsc	68	33	)	)	-RRB-
cord-030686-wv77zwsc	68	34	.	.	.
cord-030686-wv77zwsc	69	1	This	this	DT
cord-030686-wv77zwsc	69	2	means	mean	VBZ
cord-030686-wv77zwsc	69	3	that	that	IN
cord-030686-wv77zwsc	69	4	f	f	NNP
cord-030686-wv77zwsc	69	5	depends	depend	VBZ
cord-030686-wv77zwsc	69	6	both	both	DT
cord-030686-wv77zwsc	69	7	on	on	IN
cord-030686-wv77zwsc	69	8	the	the	DT
cord-030686-wv77zwsc	69	9	model	model	NN
cord-030686-wv77zwsc	69	10	M	M	NNP
cord-030686-wv77zwsc	69	11	and	and	CC
cord-030686-wv77zwsc	69	12	the	the	DT
cord-030686-wv77zwsc	69	13	property	property	NN
cord-030686-wv77zwsc	70	1	ϕ	ϕ	NN
cord-030686-wv77zwsc	70	2	that	that	WDT
cord-030686-wv77zwsc	70	3	define	define	VBP
cord-030686-wv77zwsc	70	4	S	S	NNP
cord-030686-wv77zwsc	70	5	ϕ	ϕ	NN
cord-030686-wv77zwsc	70	6	.	.	.
cord-030686-wv77zwsc	71	1	In	in	IN
cord-030686-wv77zwsc	71	2	iosa	iosa	JJ
cord-030686-wv77zwsc	71	3	,	,	,
cord-030686-wv77zwsc	71	4	continuous	continuous	JJ
cord-030686-wv77zwsc	71	5	variables	variable	NNS
cord-030686-wv77zwsc	71	6	called	call	VBD
cord-030686-wv77zwsc	71	7	clocks	clock	NNS
cord-030686-wv77zwsc	71	8	sample	sample	VB
cord-030686-wv77zwsc	71	9	random	random	JJ
cord-030686-wv77zwsc	71	10	values	value	NNS
cord-030686-wv77zwsc	71	11	from	from	IN
cord-030686-wv77zwsc	71	12	arbitrary	arbitrary	JJ
cord-030686-wv77zwsc	71	13	distributions	distribution	NNS
cord-030686-wv77zwsc	71	14	(	(	-LRB-
cord-030686-wv77zwsc	71	15	pdfs	pdfs	NNP
cord-030686-wv77zwsc	71	16	)	)	-RRB-
cord-030686-wv77zwsc	71	17	.	.	.
cord-030686-wv77zwsc	72	1	As	as	IN
cord-030686-wv77zwsc	72	2	time	time	NN
cord-030686-wv77zwsc	72	3	evolves	evolve	VBZ
cord-030686-wv77zwsc	72	4	,	,	,
cord-030686-wv77zwsc	72	5	all	all	DT
cord-030686-wv77zwsc	72	6	clocks	clock	NNS
cord-030686-wv77zwsc	72	7	count	count	VBP
cord-030686-wv77zwsc	72	8	down	down	RP
cord-030686-wv77zwsc	72	9	at	at	IN
cord-030686-wv77zwsc	72	10	the	the	DT
cord-030686-wv77zwsc	72	11	same	same	JJ
cord-030686-wv77zwsc	72	12	rate	rate	NN
cord-030686-wv77zwsc	72	13	.	.	.
cord-030686-wv77zwsc	73	1	The	the	DT
cord-030686-wv77zwsc	73	2	first	first	JJ
cord-030686-wv77zwsc	73	3	to	to	TO
cord-030686-wv77zwsc	73	4	reach	reach	VB
cord-030686-wv77zwsc	73	5	zero	zero	CD
cord-030686-wv77zwsc	73	6	can	can	MD
cord-030686-wv77zwsc	73	7	trigger	trigger	VB
cord-030686-wv77zwsc	73	8	events	event	NNS
cord-030686-wv77zwsc	73	9	and	and	CC
cord-030686-wv77zwsc	73	10	synchronise	synchronise	VB
cord-030686-wv77zwsc	73	11	with	with	IN
cord-030686-wv77zwsc	73	12	other	other	JJ
cord-030686-wv77zwsc	73	13	modules	module	NNS
cord-030686-wv77zwsc	73	14	,	,	,
cord-030686-wv77zwsc	73	15	broadcasting	broadcast	VBG
cord-030686-wv77zwsc	73	16	an	an	DT
cord-030686-wv77zwsc	73	17	output	output	NN
cord-030686-wv77zwsc	73	18	action	action	NN
cord-030686-wv77zwsc	73	19	that	that	WDT
cord-030686-wv77zwsc	73	20	synchronises	synchronise	VBZ
cord-030686-wv77zwsc	73	21	with	with	IN
cord-030686-wv77zwsc	73	22	homonymous	homonymous	JJ
cord-030686-wv77zwsc	73	23	input	input	NN
cord-030686-wv77zwsc	73	24	actions	action	NNS
cord-030686-wv77zwsc	73	25	(	(	-LRB-
cord-030686-wv77zwsc	73	26	iosa	iosa	NNP
cord-030686-wv77zwsc	73	27	are	be	VBP
cord-030686-wv77zwsc	73	28	input	input	NN
cord-030686-wv77zwsc	73	29	-	-	HYPH
cord-030686-wv77zwsc	73	30	enabled	enable	VBN
cord-030686-wv77zwsc	73	31	)	)	-RRB-
cord-030686-wv77zwsc	73	32	.	.	.
cord-030686-wv77zwsc	74	1	Actions	action	NNS
cord-030686-wv77zwsc	74	2	can	can	MD
cord-030686-wv77zwsc	74	3	be	be	VB
cord-030686-wv77zwsc	74	4	urgent	urgent	JJ
cord-030686-wv77zwsc	74	5	,	,	,
cord-030686-wv77zwsc	74	6	where	where	WRB
cord-030686-wv77zwsc	74	7	urgent	urgent	JJ
cord-030686-wv77zwsc	74	8	outputs	output	NNS
cord-030686-wv77zwsc	74	9	have	have	VBP
cord-030686-wv77zwsc	74	10	module	module	NN
cord-030686-wv77zwsc	74	11	M1	M1	NNP
cord-030686-wv77zwsc	74	12	fc	fc	NNP
cord-030686-wv77zwsc	74	13	,	,	,
cord-030686-wv77zwsc	74	14	rc	rc	NNP
cord-030686-wv77zwsc	74	15	:	:	:
cord-030686-wv77zwsc	74	16	clock	clock	NN
cord-030686-wv77zwsc	74	17	;	;	:
cord-030686-wv77zwsc	74	18	inf	inf	NNP
cord-030686-wv77zwsc	74	19	,	,	,
cord-030686-wv77zwsc	74	20	brk	brk	NNP
cord-030686-wv77zwsc	74	21	:	:	:
cord-030686-wv77zwsc	74	22	[	[	-LRB-
cord-030686-wv77zwsc	74	23	0	0	NFP
cord-030686-wv77zwsc	74	24	..	..	NFP
cord-030686-wv77zwsc	74	25	2	2	LS
cord-030686-wv77zwsc	74	26	]	]	-RRB-
cord-030686-wv77zwsc	74	27	init	init	NN
cord-030686-wv77zwsc	74	28	0	0	CD
cord-030686-wv77zwsc	74	29	;	;	:
cord-030686-wv77zwsc	74	30	,	,	,
cord-030686-wv77zwsc	74	31	FIG	FIG	NNP
cord-030686-wv77zwsc	74	32	1.2	1.2	CD
cord-030686-wv77zwsc	74	33	reads	read	VBZ
cord-030686-wv77zwsc	74	34	models	model	NNS
cord-030686-wv77zwsc	74	35	written	write	VBN
cord-030686-wv77zwsc	74	36	in	in	IN
cord-030686-wv77zwsc	74	37	the	the	DT
cord-030686-wv77zwsc	74	38	jani	jani	NNP
cord-030686-wv77zwsc	74	39	exchange	exchange	NNP
cord-030686-wv77zwsc	74	40	format	format	NN
cord-030686-wv77zwsc	74	41	[	[	-LRB-
cord-030686-wv77zwsc	74	42	7	7	CD
cord-030686-wv77zwsc	74	43	]	]	-RRB-
cord-030686-wv77zwsc	74	44	.	.	.
cord-030686-wv77zwsc	75	1	Model	model	NN
cord-030686-wv77zwsc	75	2	types	type	NNS
cord-030686-wv77zwsc	75	3	supported	support	VBN
cord-030686-wv77zwsc	75	4	are	be	VBP
cord-030686-wv77zwsc	75	5	ctmc	ctmc	JJ
cord-030686-wv77zwsc	75	6	and	and	CC
cord-030686-wv77zwsc	75	7	a	a	DT
cord-030686-wv77zwsc	75	8	subset	subset	NN
cord-030686-wv77zwsc	75	9	of	of	IN
cord-030686-wv77zwsc	75	10	sta	sta	NNP
cord-030686-wv77zwsc	75	11	that	that	WDT
cord-030686-wv77zwsc	75	12	matches	match	VBZ
cord-030686-wv77zwsc	75	13	iosa	iosa	JJ
cord-030686-wv77zwsc	75	14	,	,	,
cord-030686-wv77zwsc	76	1	e.g.	e.g.	RB
cord-030686-wv77zwsc	76	2	with	with	IN
cord-030686-wv77zwsc	76	3	a	a	DT
cord-030686-wv77zwsc	76	4	single	single	JJ
cord-030686-wv77zwsc	76	5	pdf	pdf	NN
cord-030686-wv77zwsc	76	6	per	per	IN
cord-030686-wv77zwsc	76	7	clock	clock	NN
cord-030686-wv77zwsc	76	8	and	and	CC
cord-030686-wv77zwsc	76	9	broadcast	broadcast	NN
cord-030686-wv77zwsc	76	10	synchronisation	synchronisation	NN
cord-030686-wv77zwsc	76	11	.	.	.
cord-030686-wv77zwsc	77	1	FIG	FIG	NNP
cord-030686-wv77zwsc	77	2	also	also	RB
cord-030686-wv77zwsc	77	3	translates	translate	VBZ
cord-030686-wv77zwsc	77	4	iosa	iosa	JJ
cord-030686-wv77zwsc	77	5	to	to	IN
cord-030686-wv77zwsc	77	6	jani	jani	NNP
cord-030686-wv77zwsc	77	7	as	as	IN
cord-030686-wv77zwsc	77	8	sta	sta	NNP
cord-030686-wv77zwsc	77	9	,	,	,
cord-030686-wv77zwsc	77	10	to	to	TO
cord-030686-wv77zwsc	77	11	share	share	VB
cord-030686-wv77zwsc	77	12	models	model	NNS
cord-030686-wv77zwsc	77	13	with	with	IN
cord-030686-wv77zwsc	77	14	tools	tool	NNS
cord-030686-wv77zwsc	77	15	such	such	JJ
cord-030686-wv77zwsc	77	16	as	as	IN
cord-030686-wv77zwsc	77	17	the	the	DT
cord-030686-wv77zwsc	77	18	Modest	Modest	NNP
cord-030686-wv77zwsc	77	19	Toolset	Toolset	NNP
cord-030686-wv77zwsc	77	20	[	[	-LRB-
cord-030686-wv77zwsc	77	21	16	16	CD
cord-030686-wv77zwsc	77	22	]	]	-RRB-
cord-030686-wv77zwsc	77	23	and	and	CC
cord-030686-wv77zwsc	77	24	Storm	Storm	NNP
cord-030686-wv77zwsc	77	25	[	[	-LRB-
cord-030686-wv77zwsc	77	26	13	13	CD
cord-030686-wv77zwsc	77	27	]	]	-RRB-
cord-030686-wv77zwsc	77	28	.	.	.
cord-030686-wv77zwsc	78	1	This	this	DT
cord-030686-wv77zwsc	78	2	is	be	VBZ
cord-030686-wv77zwsc	78	3	used	use	VBN
cord-030686-wv77zwsc	78	4	in	in	IN
cord-030686-wv77zwsc	78	5	Sec	Sec	NNP
cord-030686-wv77zwsc	78	6	.	.	.
cord-030686-wv77zwsc	79	1	4	4	LS
cord-030686-wv77zwsc	79	2	for	for	IN
cord-030686-wv77zwsc	79	3	comparisons	comparison	NNS
cord-030686-wv77zwsc	79	4	.	.	.
cord-030686-wv77zwsc	80	1	Properties	property	NNS
cord-030686-wv77zwsc	80	2	.	.	.
cord-030686-wv77zwsc	81	1	FIG	FIG	NNP
cord-030686-wv77zwsc	81	2	builders	builder	NNS
cord-030686-wv77zwsc	81	3	.	.	.
cord-030686-wv77zwsc	82	1	Engines	engine	NNS
cord-030686-wv77zwsc	82	2	are	be	VBP
cord-030686-wv77zwsc	82	3	nosplit	nosplit	VBN
cord-030686-wv77zwsc	82	4	,	,	,
cord-030686-wv77zwsc	82	5	restart	restart	VB
cord-030686-wv77zwsc	82	6	,	,	,
cord-030686-wv77zwsc	82	7	and	and	CC
cord-030686-wv77zwsc	82	8	sfe	sfe	NNP
cord-030686-wv77zwsc	82	9	,	,	,
cord-030686-wv77zwsc	82	10	which	which	WDT
cord-030686-wv77zwsc	82	11	resp	resp	NNP
cord-030686-wv77zwsc	82	12	.	.	.
cord-030686-wv77zwsc	82	13	run	run	NNP
cord-030686-wv77zwsc	82	14	cmc	cmc	NNP
cord-030686-wv77zwsc	82	15	,	,	,
cord-030686-wv77zwsc	82	16	restart	restart	VB
cord-030686-wv77zwsc	82	17	(	(	-LRB-
cord-030686-wv77zwsc	82	18	rst	rst	VB
cord-030686-wv77zwsc	82	19	[	[	-LRB-
cord-030686-wv77zwsc	82	20	31	31	CD
cord-030686-wv77zwsc	82	21	]	]	-RRB-
cord-030686-wv77zwsc	82	22	)	)	-RRB-
cord-030686-wv77zwsc	82	23	,	,	,
cord-030686-wv77zwsc	82	24	and	and	CC
cord-030686-wv77zwsc	82	25	Fixed	Fixed	NNP
cord-030686-wv77zwsc	82	26	Effort	Effort	NNP
cord-030686-wv77zwsc	82	27	(	(	-LRB-
cord-030686-wv77zwsc	82	28	fe	fe	XX
cord-030686-wv77zwsc	82	29	[	[	-LRB-
cord-030686-wv77zwsc	82	30	14	14	CD
cord-030686-wv77zwsc	82	31	]	]	-RRB-
cord-030686-wv77zwsc	82	32	)	)	-RRB-
cord-030686-wv77zwsc	82	33	simulations	simulation	NNS
cord-030686-wv77zwsc	82	34	.	.	.
cord-030686-wv77zwsc	83	1	The	the	DT
cord-030686-wv77zwsc	83	2	latter	latter	JJ
cord-030686-wv77zwsc	83	3	two	two	CD
cord-030686-wv77zwsc	83	4	are	be	VBP
cord-030686-wv77zwsc	83	5	isplit	isplit	VBN
cord-030686-wv77zwsc	83	6	algorithms	algorithm	NNS
cord-030686-wv77zwsc	83	7	:	:	:
cord-030686-wv77zwsc	84	1	fe	fe	NNP
cord-030686-wv77zwsc	84	2	was	be	VBD
cord-030686-wv77zwsc	84	3	described	describe	VBN
cord-030686-wv77zwsc	84	4	in	in	IN
cord-030686-wv77zwsc	84	5	Sec	Sec	NNP
cord-030686-wv77zwsc	84	6	.	.	NNP
cord-030686-wv77zwsc	84	7	2	2	CD
cord-030686-wv77zwsc	84	8	,	,	,
cord-030686-wv77zwsc	84	9	and	and	CC
cord-030686-wv77zwsc	84	10	works	work	VBZ
cord-030686-wv77zwsc	84	11	for	for	IN
cord-030686-wv77zwsc	84	12	transient	transient	JJ
cord-030686-wv77zwsc	84	13	properties	property	NNS
cord-030686-wv77zwsc	84	14	;	;	:
cord-030686-wv77zwsc	84	15	rst	rst	NNP
cord-030686-wv77zwsc	84	16	also	also	RB
cord-030686-wv77zwsc	84	17	works	work	VBZ
cord-030686-wv77zwsc	84	18	for	for	IN
cord-030686-wv77zwsc	84	19	steady	steady	JJ
cord-030686-wv77zwsc	84	20	-	-	HYPH
cord-030686-wv77zwsc	84	21	state	state	NN
cord-030686-wv77zwsc	84	22	analysis	analysis	NN
cord-030686-wv77zwsc	84	23	(	(	-LRB-
cord-030686-wv77zwsc	84	24	steady	steady	JJ
cord-030686-wv77zwsc	84	25	-	-	HYPH
cord-030686-wv77zwsc	84	26	state	state	NN
cord-030686-wv77zwsc	84	27	via	via	IN
cord-030686-wv77zwsc	84	28	fe	fe	NNP
cord-030686-wv77zwsc	84	29	requires	require	VBZ
cord-030686-wv77zwsc	84	30	regeneration	regeneration	NN
cord-030686-wv77zwsc	84	31	theory	theory	NN
cord-030686-wv77zwsc	84	32	[	[	-LRB-
cord-030686-wv77zwsc	84	33	15	15	CD
cord-030686-wv77zwsc	84	34	]	]	-RRB-
cord-030686-wv77zwsc	84	35	,	,	,
cord-030686-wv77zwsc	84	36	seldom	seldom	RB
cord-030686-wv77zwsc	84	37	applicable	applicable	JJ
cord-030686-wv77zwsc	84	38	to	to	IN
cord-030686-wv77zwsc	84	39	non	non	JJ
cord-030686-wv77zwsc	84	40	-	-	JJ
cord-030686-wv77zwsc	84	41	Markovian	markovian	JJ
cord-030686-wv77zwsc	84	42	models	model	NNS
cord-030686-wv77zwsc	84	43	and	and	CC
cord-030686-wv77zwsc	84	44	unsupported	unsupported	JJ
cord-030686-wv77zwsc	84	45	by	by	IN
cord-030686-wv77zwsc	84	46	All	all	PDT
cord-030686-wv77zwsc	84	47	these	these	DT
cord-030686-wv77zwsc	84	48	experiments	experiment	NNS
cord-030686-wv77zwsc	84	49	can	can	MD
cord-030686-wv77zwsc	84	50	be	be	VB
cord-030686-wv77zwsc	84	51	reproduced	reproduce	VBN
cord-030686-wv77zwsc	84	52	via	via	IN
cord-030686-wv77zwsc	84	53	the	the	DT
cord-030686-wv77zwsc	84	54	artifact	artifact	NN
cord-030686-wv77zwsc	84	55	freely	freely	RB
cord-030686-wv77zwsc	84	56	available	available	JJ
cord-030686-wv77zwsc	84	57	in	in	IN
cord-030686-wv77zwsc	84	58	[	[	-LRB-
cord-030686-wv77zwsc	84	59	3	3	CD
cord-030686-wv77zwsc	84	60	]	]	-RRB-
cord-030686-wv77zwsc	84	61	.	.	.
cord-030686-wv77zwsc	85	1	We	-PRON-	PRP
cord-030686-wv77zwsc	85	2	test	test	VBP
cord-030686-wv77zwsc	85	3	different	different	JJ
cord-030686-wv77zwsc	85	4	configurations	configuration	NNS
cord-030686-wv77zwsc	85	5	of	of	IN
cord-030686-wv77zwsc	85	6	engines	engine	NNS
cord-030686-wv77zwsc	85	7	,	,	,
cord-030686-wv77zwsc	85	8	efforts	effort	NNS
cord-030686-wv77zwsc	85	9	,	,	,
cord-030686-wv77zwsc	85	10	and	and	CC
cord-030686-wv77zwsc	85	11	thresholds	threshold	NNS
cord-030686-wv77zwsc	85	12	.	.	.
cord-030686-wv77zwsc	86	1	For	for	IN
cord-030686-wv77zwsc	86	2	each	each	DT
cord-030686-wv77zwsc	86	3	configuration	configuration	NN
cord-030686-wv77zwsc	86	4	we	-PRON-	PRP
cord-030686-wv77zwsc	86	5	run	run	VBP
cord-030686-wv77zwsc	86	6	simulations	simulation	NNS
cord-030686-wv77zwsc	86	7	until	until	IN
cord-030686-wv77zwsc	86	8	some	some	DT
cord-030686-wv77zwsc	86	9	timeout	timeout	NN
cord-030686-wv77zwsc	86	10	.	.	.
cord-030686-wv77zwsc	87	1	This	this	DT
cord-030686-wv77zwsc	87	2	yields	yield	VBZ
cord-030686-wv77zwsc	87	3	a	a	DT
cord-030686-wv77zwsc	87	4	ci	ci	NN
cord-030686-wv77zwsc	87	5	with	with	IN
cord-030686-wv77zwsc	87	6	precision	precision	NN
cord-030686-wv77zwsc	87	7	2ε	2ε	CD
cord-030686-wv77zwsc	87	8	for	for	IN
cord-030686-wv77zwsc	87	9	confidence	confidence	NN
cord-030686-wv77zwsc	87	10	coefficient	coefficient	NN
cord-030686-wv77zwsc	87	11	δ	δ	NN
cord-030686-wv77zwsc	87	12	=	=	SYM
cord-030686-wv77zwsc	87	13	0.95	0.95	CD
cord-030686-wv77zwsc	87	14	.	.	.
cord-030686-wv77zwsc	88	1	The	the	DT
cord-030686-wv77zwsc	88	2	smaller	small	JJR
cord-030686-wv77zwsc	88	3	the	the	DT
cord-030686-wv77zwsc	88	4	ε	ε	NN
cord-030686-wv77zwsc	88	5	,	,	,
cord-030686-wv77zwsc	88	6	the	the	DT
cord-030686-wv77zwsc	88	7	narrower	narrow	JJR
cord-030686-wv77zwsc	88	8	the	the	DT
cord-030686-wv77zwsc	88	9	ci	ci	NN
cord-030686-wv77zwsc	88	10	,	,	,
cord-030686-wv77zwsc	88	11	and	and	CC
cord-030686-wv77zwsc	88	12	the	the	DT
cord-030686-wv77zwsc	88	13	better	well	JJR
cord-030686-wv77zwsc	88	14	the	the	DT
cord-030686-wv77zwsc	88	15	performance	performance	NN
cord-030686-wv77zwsc	88	16	of	of	IN
cord-030686-wv77zwsc	88	17	the	the	DT
cord-030686-wv77zwsc	88	18	configuration	configuration	NN
cord-030686-wv77zwsc	88	19	(	(	-LRB-
cord-030686-wv77zwsc	88	20	and	and	CC
cord-030686-wv77zwsc	88	21	tool	tool	NN
cord-030686-wv77zwsc	88	22	)	)	-RRB-
cord-030686-wv77zwsc	88	23	that	that	WDT
cord-030686-wv77zwsc	88	24	produced	produce	VBD
cord-030686-wv77zwsc	88	25	it	-PRON-	PRP
cord-030686-wv77zwsc	88	26	.	.	.
cord-030686-wv77zwsc	89	1	First	first	RB
cord-030686-wv77zwsc	89	2	,	,	,
cord-030686-wv77zwsc	89	3	we	-PRON-	PRP
cord-030686-wv77zwsc	89	4	analyse	analyse	VBP
cord-030686-wv77zwsc	89	5	repairable	repairable	JJ
cord-030686-wv77zwsc	89	6	dfts	dft	NNS
cord-030686-wv77zwsc	89	7	with	with	IN
cord-030686-wv77zwsc	89	8	warm	warm	JJ
cord-030686-wv77zwsc	89	9	spares	spare	NNS
cord-030686-wv77zwsc	89	10	and	and	CC
cord-030686-wv77zwsc	89	11	exponential	exponential	JJ
cord-030686-wv77zwsc	89	12	(	(	-LRB-
cord-030686-wv77zwsc	89	13	fail	fail	VB
cord-030686-wv77zwsc	89	14	)	)	-RRB-
cord-030686-wv77zwsc	89	15	,	,	,
cord-030686-wv77zwsc	89	16	normal	normal	JJ
cord-030686-wv77zwsc	89	17	(	(	-LRB-
cord-030686-wv77zwsc	89	18	repair	repair	NN
cord-030686-wv77zwsc	89	19	)	)	-RRB-
cord-030686-wv77zwsc	89	20	,	,	,
cord-030686-wv77zwsc	89	21	and	and	CC
cord-030686-wv77zwsc	89	22	lognormal	lognormal	JJ
cord-030686-wv77zwsc	89	23	(	(	-LRB-
cord-030686-wv77zwsc	89	24	dormancy	dormancy	NN
cord-030686-wv77zwsc	89	25	)	)	-RRB-
cord-030686-wv77zwsc	89	26	pdfs	pdf	NNS
cord-030686-wv77zwsc	89	27	.	.	.
cord-030686-wv77zwsc	90	1	Using	use	VBG
cord-030686-wv77zwsc	90	2	cmc	cmc	NNP
cord-030686-wv77zwsc	90	3	,	,	,
cord-030686-wv77zwsc	90	4	fe	fe	NNP
cord-030686-wv77zwsc	90	5	8,16,32	8,16,32	NNP
cord-030686-wv77zwsc	90	6	and	and	CC
cord-030686-wv77zwsc	90	7	rst	rst	NNP
cord-030686-wv77zwsc	90	8	3,4,6	3,4,6	CD
cord-030686-wv77zwsc	91	1	we	-PRON-	PRP
cord-030686-wv77zwsc	91	2	estimate	estimate	VBP
cord-030686-wv77zwsc	91	3	the	the	DT
cord-030686-wv77zwsc	91	4	probability	probability	NN
cord-030686-wv77zwsc	91	5	of	of	IN
cord-030686-wv77zwsc	91	6	a	a	DT
cord-030686-wv77zwsc	91	7	top	top	JJ
cord-030686-wv77zwsc	91	8	level	level	NN
cord-030686-wv77zwsc	91	9	event	event	NN
cord-030686-wv77zwsc	91	10	after	after	IN
cord-030686-wv77zwsc	91	11	the	the	DT
cord-030686-wv77zwsc	91	12	first	first	JJ
cord-030686-wv77zwsc	91	13	failure	failure	NN
cord-030686-wv77zwsc	91	14	,	,	,
cord-030686-wv77zwsc	91	15	before	before	IN
cord-030686-wv77zwsc	91	16	all	all	DT
cord-030686-wv77zwsc	91	17	components	component	NNS
cord-030686-wv77zwsc	91	18	are	be	VBP
cord-030686-wv77zwsc	91	19	repaired	repair	VBN
cord-030686-wv77zwsc	91	20	,	,	,
cord-030686-wv77zwsc	91	21	in	in	IN
cord-030686-wv77zwsc	91	22	trees	tree	NNS
cord-030686-wv77zwsc	91	23	with	with	IN
cord-030686-wv77zwsc	91	24	6	6	CD
cord-030686-wv77zwsc	91	25	,	,	,
cord-030686-wv77zwsc	91	26	7	7	CD
cord-030686-wv77zwsc	91	27	,	,	,
cord-030686-wv77zwsc	91	28	and	and	CC
cord-030686-wv77zwsc	91	29	8	8	CD
cord-030686-wv77zwsc	91	30	spares	spare	NNS
cord-030686-wv77zwsc	91	31	(	(	-LRB-
cord-030686-wv77zwsc	91	32	the	the	DT
cord-030686-wv77zwsc	91	33	smallest	small	JJS
cord-030686-wv77zwsc	91	34	iosa	iosa	NNP
cord-030686-wv77zwsc	91	35	has	have	VBZ
cord-030686-wv77zwsc	91	36	116	116	CD
cord-030686-wv77zwsc	91	37	variables	variable	NNS
cord-030686-wv77zwsc	91	38	and	and	CC
cord-030686-wv77zwsc	91	39	>	>	XX
cord-030686-wv77zwsc	91	40	2.5	2.5	CD
cord-030686-wv77zwsc	91	41	e	e	CD
cord-030686-wv77zwsc	91	42	37	37	CD
cord-030686-wv77zwsc	91	43	states	state	NNS
cord-030686-wv77zwsc	91	44	)	)	-RRB-
cord-030686-wv77zwsc	91	45	.	.	.
cord-030686-wv77zwsc	92	1	For	for	IN
cord-030686-wv77zwsc	92	2	isplit	isplit	NN
cord-030686-wv77zwsc	92	3	we	-PRON-	PRP
cord-030686-wv77zwsc	92	4	used	use	VBD
cord-030686-wv77zwsc	92	5	seq	seq	NN
cord-030686-wv77zwsc	92	6	thresholds	threshold	NNS
cord-030686-wv77zwsc	92	7	with	with	IN
cord-030686-wv77zwsc	92	8	--dft	--dft	CD
cord-030686-wv77zwsc	92	9	0	0	CD
cord-030686-wv77zwsc	92	10	--acomp	--acomp	NN
cord-030686-wv77zwsc	92	11	and	and	CC
cord-030686-wv77zwsc	92	12	no	no	DT
cord-030686-wv77zwsc	92	13	arguments	argument	NNS
cord-030686-wv77zwsc	92	14	,	,	,
cord-030686-wv77zwsc	92	15	i.e.	i.e.	FW
cord-030686-wv77zwsc	92	16	as	as	RB
cord-030686-wv77zwsc	92	17	automatic	automatic	JJ
cord-030686-wv77zwsc	92	18	as	as	IN
cord-030686-wv77zwsc	92	19	cmc	cmc	NNP
cord-030686-wv77zwsc	92	20	.	.	.
cord-030686-wv77zwsc	93	1	With	with	IN
cord-030686-wv77zwsc	93	2	a	a	DT
cord-030686-wv77zwsc	93	3	20	20	CD
cord-030686-wv77zwsc	93	4	min	min	NN
cord-030686-wv77zwsc	93	5	timeout	timeout	NN
cord-030686-wv77zwsc	93	6	,	,	,
cord-030686-wv77zwsc	93	7	each	each	DT
cord-030686-wv77zwsc	93	8	configuration	configuration	NN
cord-030686-wv77zwsc	93	9	was	be	VBD
cord-030686-wv77zwsc	93	10	repeated	repeat	VBN
cord-030686-wv77zwsc	93	11	13	13	CD
cord-030686-wv77zwsc	93	12	times	time	NNS
cord-030686-wv77zwsc	93	13	in	in	IN
cord-030686-wv77zwsc	93	14	a	a	DT
cord-030686-wv77zwsc	93	15	Xeon	Xeon	NNP
cord-030686-wv77zwsc	93	16	E5	E5	NNP
cord-030686-wv77zwsc	93	17	-	-	HYPH
cord-030686-wv77zwsc	93	18	2683v4	2683v4	CD
cord-030686-wv77zwsc	93	19	CPU	cpu	NN
cord-030686-wv77zwsc	93	20	running	run	VBG
cord-030686-wv77zwsc	93	21	Linux	Linux	NNP
cord-030686-wv77zwsc	93	22	x64	x64	CD
cord-030686-wv77zwsc	93	23	4.4.0	4.4.0	CD
cord-030686-wv77zwsc	93	24	.	.	.
cord-030686-wv77zwsc	94	1	The	the	DT
cord-030686-wv77zwsc	94	2	height	height	NN
cord-030686-wv77zwsc	94	3	of	of	IN
cord-030686-wv77zwsc	94	4	the	the	DT
cord-030686-wv77zwsc	94	5	bars	bar	NNS
cord-030686-wv77zwsc	94	6	in	in	IN
cord-030686-wv77zwsc	94	7	the	the	DT
cord-030686-wv77zwsc	94	8	top	top	JJ
cord-030686-wv77zwsc	94	9	plot	plot	NN
cord-030686-wv77zwsc	94	10	of	of	IN
cord-030686-wv77zwsc	94	11	Fig	Fig	NNP
cord-030686-wv77zwsc	94	12	.	.	.
cord-030686-wv77zwsc	95	1	1	1	CD
cord-030686-wv77zwsc	95	2	is	be	VBZ
cord-030686-wv77zwsc	95	3	the	the	DT
cord-030686-wv77zwsc	95	4	average	average	JJ
cord-030686-wv77zwsc	95	5	ci	ci	NN
cord-030686-wv77zwsc	95	6	precision	precision	NN
cord-030686-wv77zwsc	95	7	(	(	-LRB-
cord-030686-wv77zwsc	95	8	lower	low	JJR
cord-030686-wv77zwsc	95	9	is	be	VBZ
cord-030686-wv77zwsc	95	10	better	well	JJR
cord-030686-wv77zwsc	95	11	)	)	-RRB-
cord-030686-wv77zwsc	95	12	,	,	,
cord-030686-wv77zwsc	95	13	using	use	VBG
cord-030686-wv77zwsc	95	14	Z	z	NN
cord-030686-wv77zwsc	95	15	-	-	HYPH
cord-030686-wv77zwsc	95	16	score	score	NN
cord-030686-wv77zwsc	95	17	m=2	m=2	NN
cord-030686-wv77zwsc	95	18	to	to	TO
cord-030686-wv77zwsc	95	19	remove	remove	VB
cord-030686-wv77zwsc	95	20	outliers	outlier	NNS
cord-030686-wv77zwsc	95	21	[	[	-LRB-
cord-030686-wv77zwsc	95	22	17	17	CD
cord-030686-wv77zwsc	95	23	]	]	-RRB-
cord-030686-wv77zwsc	95	24	.	.	.
cord-030686-wv77zwsc	96	1	Whiskers	whisker	NNS
cord-030686-wv77zwsc	96	2	are	be	VBP
cord-030686-wv77zwsc	96	3	standard	standard	JJ
cord-030686-wv77zwsc	96	4	deviation	deviation	NN
cord-030686-wv77zwsc	96	5	,	,	,
cord-030686-wv77zwsc	96	6	and	and	CC
cord-030686-wv77zwsc	96	7	white	white	JJ
cord-030686-wv77zwsc	96	8	numbers	number	NNS
cord-030686-wv77zwsc	96	9	indicate	indicate	VBP
cord-030686-wv77zwsc	96	10	how	how	WRB
cord-030686-wv77zwsc	96	11	many	many	JJ
cord-030686-wv77zwsc	96	12	runs	run	NNS
cord-030686-wv77zwsc	96	13	yielded	yield	VBD
cord-030686-wv77zwsc	96	14	not	not	RB
cord-030686-wv77zwsc	96	15	-	-	HYPH
cord-030686-wv77zwsc	96	16	null	null	JJ
cord-030686-wv77zwsc	96	17	estimates	estimate	NNS
cord-030686-wv77zwsc	96	18	.	.	.
cord-030686-wv77zwsc	97	1	Clearly	clearly	RB
cord-030686-wv77zwsc	97	2	,	,	,
cord-030686-wv77zwsc	97	3	res	res	FW
cord-030686-wv77zwsc	97	4	algorithms	algorithm	NNS
cord-030686-wv77zwsc	97	5	outperform	outperform	VBP
cord-030686-wv77zwsc	97	6	cmc	cmc	NNP
cord-030686-wv77zwsc	97	7	in	in	IN
cord-030686-wv77zwsc	97	8	the	the	DT
cord-030686-wv77zwsc	97	9	hardest	hard	JJS
cord-030686-wv77zwsc	97	10	cases	case	NNS
cord-030686-wv77zwsc	97	11	:	:	:
cord-030686-wv77zwsc	97	12	less	less	JJR
cord-030686-wv77zwsc	97	13	than	than	IN
cord-030686-wv77zwsc	97	14	half	half	NN
cord-030686-wv77zwsc	97	15	of	of	IN
cord-030686-wv77zwsc	97	16	cmc	cmc	NNP
cord-030686-wv77zwsc	97	17	runs	run	VBZ
cord-030686-wv77zwsc	97	18	in	in	IN
cord-030686-wv77zwsc	97	19	DFT-8	DFT-8	NNP
cord-030686-wv77zwsc	97	20	could	could	MD
cord-030686-wv77zwsc	97	21	build	build	VB
cord-030686-wv77zwsc	97	22	(	(	-LRB-
cord-030686-wv77zwsc	97	23	wide	wide	RB
cord-030686-wv77zwsc	97	24	)	)	-RRB-
cord-030686-wv77zwsc	97	25	cis	cis	NNP
cord-030686-wv77zwsc	97	26	.	.	.
cord-030686-wv77zwsc	98	1	Second	second	RB
cord-030686-wv77zwsc	98	2	,	,	,
cord-030686-wv77zwsc	98	3	we	-PRON-	PRP
cord-030686-wv77zwsc	98	4	estimate	estimate	VBP
cord-030686-wv77zwsc	98	5	the	the	DT
cord-030686-wv77zwsc	98	6	steady	steady	JJ
cord-030686-wv77zwsc	98	7	-	-	HYPH
cord-030686-wv77zwsc	98	8	state	state	NN
cord-030686-wv77zwsc	98	9	overflow	overflow	NN
cord-030686-wv77zwsc	98	10	probability	probability	NN
cord-030686-wv77zwsc	98	11	in	in	IN
cord-030686-wv77zwsc	98	12	the	the	DT
cord-030686-wv77zwsc	98	13	last	last	JJ
cord-030686-wv77zwsc	98	14	node	node	NN
cord-030686-wv77zwsc	98	15	of	of	IN
cord-030686-wv77zwsc	98	16	tandem	tandem	NN
cord-030686-wv77zwsc	98	17	queues	queue	NNS
cord-030686-wv77zwsc	98	18	,	,	,
cord-030686-wv77zwsc	98	19	on	on	IN
cord-030686-wv77zwsc	98	20	a	a	DT
cord-030686-wv77zwsc	98	21	Markovian	markovian	JJ
cord-030686-wv77zwsc	98	22	case	case	NN
cord-030686-wv77zwsc	98	23	with	with	IN
cord-030686-wv77zwsc	98	24	2	2	CD
cord-030686-wv77zwsc	98	25	buffers	buffer	NNS
cord-030686-wv77zwsc	98	26	[	[	-LRB-
cord-030686-wv77zwsc	98	27	29	29	CD
cord-030686-wv77zwsc	98	28	]	]	-RRB-
cord-030686-wv77zwsc	98	29	,	,	,
cord-030686-wv77zwsc	98	30	3	3	CD
cord-030686-wv77zwsc	98	31	buffers	buffer	NNS
cord-030686-wv77zwsc	98	32	[	[	-LRB-
cord-030686-wv77zwsc	98	33	28	28	CD
cord-030686-wv77zwsc	98	34	]	]	-RRB-
cord-030686-wv77zwsc	98	35	,	,	,
cord-030686-wv77zwsc	98	36	and	and	CC
cord-030686-wv77zwsc	98	37	a	a	DT
cord-030686-wv77zwsc	98	38	non	non	JJ
cord-030686-wv77zwsc	98	39	-	-	JJ
cord-030686-wv77zwsc	98	40	Markovian	markovian	JJ
cord-030686-wv77zwsc	98	41	3-buffers	3-buffers	CD
cord-030686-wv77zwsc	98	42	case	case	NN
cord-030686-wv77zwsc	98	43	[	[	-LRB-
cord-030686-wv77zwsc	98	44	30	30	CD
cord-030686-wv77zwsc	98	45	]	]	-RRB-
cord-030686-wv77zwsc	98	46	.	.	.
cord-030686-wv77zwsc	99	1	We	-PRON-	PRP
cord-030686-wv77zwsc	99	2	study	study	VBP
cord-030686-wv77zwsc	99	3	how	how	WRB
cord-030686-wv77zwsc	99	4	FIG	fig	NN
cord-030686-wv77zwsc	99	5	-	-	HYPH
cord-030686-wv77zwsc	99	6	using	use	VBG
cord-030686-wv77zwsc	99	7	--amono	--amono	NN
cord-030686-wv77zwsc	99	8	,	,	,
cord-030686-wv77zwsc	99	9	seq	seq	NN
cord-030686-wv77zwsc	99	10	,	,	,
cord-030686-wv77zwsc	99	11	and	and	CC
cord-030686-wv77zwsc	99	12	rst	rst	NNP
cord-030686-wv77zwsc	99	13	3,4,5,7,9	3,4,5,7,9	CD
cord-030686-wv77zwsc	99	14	-approximates	-approximates	.
cord-030686-wv77zwsc	100	1	each	each	DT
cord-030686-wv77zwsc	100	2	optimal	optimal	JJ
cord-030686-wv77zwsc	100	3	ad	ad	FW
cord-030686-wv77zwsc	100	4	hoc	hoc	FW
cord-030686-wv77zwsc	100	5	function	function	NN
cord-030686-wv77zwsc	100	6	and	and	CC
cord-030686-wv77zwsc	100	7	thresholds	threshold	NNS
cord-030686-wv77zwsc	100	8	of	of	IN
cord-030686-wv77zwsc	100	9	[	[	-LRB-
cord-030686-wv77zwsc	100	10	29	29	CD
cord-030686-wv77zwsc	100	11	,	,	,
cord-030686-wv77zwsc	100	12	28	28	CD
cord-030686-wv77zwsc	100	13	,	,	,
cord-030686-wv77zwsc	100	14	30	30	CD
cord-030686-wv77zwsc	100	15	]	]	-RRB-
cord-030686-wv77zwsc	100	16	.	.	.
cord-030686-wv77zwsc	101	1	Experiments	experiment	NNS
cord-030686-wv77zwsc	101	2	ran	run	VBD
cord-030686-wv77zwsc	101	3	as	as	IN
cord-030686-wv77zwsc	101	4	before	before	RB
cord-030686-wv77zwsc	101	5	:	:	:
cord-030686-wv77zwsc	101	6	the	the	DT
cord-030686-wv77zwsc	101	7	bottom	bottom	JJ
cord-030686-wv77zwsc	101	8	plot	plot	NN
cord-030686-wv77zwsc	101	9	of	of	IN
cord-030686-wv77zwsc	101	10	Fig	Fig	NNP
cord-030686-wv77zwsc	101	11	.	.	.
cord-030686-wv77zwsc	102	1	1	1	CD
cord-030686-wv77zwsc	102	2	shows	show	VBZ
cord-030686-wv77zwsc	102	3	that	that	IN
cord-030686-wv77zwsc	102	4	FIG	FIG	NNP
cord-030686-wv77zwsc	102	5	's	's	POS
cord-030686-wv77zwsc	102	6	default	default	NN
cord-030686-wv77zwsc	102	7	(	(	-LRB-
cord-030686-wv77zwsc	102	8	rst	rst	NNP
cord-030686-wv77zwsc	102	9	3	3	CD
cord-030686-wv77zwsc	102	10	with	with	IN
cord-030686-wv77zwsc	102	11	seq	seq	NN
cord-030686-wv77zwsc	102	12	,	,	,
cord-030686-wv77zwsc	102	13	legend	legend	NN
cord-030686-wv77zwsc	102	14	"	"	``
cord-030686-wv77zwsc	102	15	AUTO	AUTO	NNP
cord-030686-wv77zwsc	102	16	3	3	CD
cord-030686-wv77zwsc	102	17	"	"	''
cord-030686-wv77zwsc	102	18	)	)	-RRB-
cord-030686-wv77zwsc	102	19	is	be	VBZ
cord-030686-wv77zwsc	102	20	always	always	RB
cord-030686-wv77zwsc	102	21	closest	close	JJS
cord-030686-wv77zwsc	102	22	to	to	IN
cord-030686-wv77zwsc	102	23	the	the	DT
cord-030686-wv77zwsc	102	24	optimal	optimal	NN
cord-030686-wv77zwsc	102	25	.	.	.
cord-030686-wv77zwsc	103	1	Third	third	RB
cord-030686-wv77zwsc	103	2	,	,	,
cord-030686-wv77zwsc	103	3	we	-PRON-	PRP
cord-030686-wv77zwsc	103	4	compare	compare	VBP
cord-030686-wv77zwsc	103	5	FIG	fig	NN
cord-030686-wv77zwsc	103	6	and	and	CC
cord-030686-wv77zwsc	103	7	modes	mode	NNS
cord-030686-wv77zwsc	103	8	in	in	IN
cord-030686-wv77zwsc	103	9	the	the	DT
cord-030686-wv77zwsc	103	10	original	original	JJ
cord-030686-wv77zwsc	103	11	benchmark	benchmark	NN
cord-030686-wv77zwsc	103	12	of	of	IN
cord-030686-wv77zwsc	103	13	the	the	DT
cord-030686-wv77zwsc	103	14	latter	latter	JJ
cord-030686-wv77zwsc	103	15	[	[	-LRB-
cord-030686-wv77zwsc	103	16	5	5	CD
cord-030686-wv77zwsc	103	17	]	]	-RRB-
cord-030686-wv77zwsc	103	18	.	.	.
cord-030686-wv77zwsc	104	1	We	-PRON-	PRP
cord-030686-wv77zwsc	104	2	do	do	VBP
cord-030686-wv77zwsc	104	3	so	so	RB
cord-030686-wv77zwsc	104	4	for	for	IN
cord-030686-wv77zwsc	104	5	fe	fe	NNP
cord-030686-wv77zwsc	104	6	-	-	HYPH
cord-030686-wv77zwsc	104	7	seq	seq	JJ
cord-030686-wv77zwsc	104	8	,	,	,
cord-030686-wv77zwsc	104	9	rst	rst	NN
cord-030686-wv77zwsc	104	10	-	-	HYPH
cord-030686-wv77zwsc	104	11	seq	seq	NN
cord-030686-wv77zwsc	104	12	,	,	,
cord-030686-wv77zwsc	104	13	rst	rst	NNP
cord-030686-wv77zwsc	104	14	-	-	HYPH
cord-030686-wv77zwsc	104	15	es	es	NNP
cord-030686-wv77zwsc	104	16	,	,	,
cord-030686-wv77zwsc	104	17	using	use	VBG
cord-030686-wv77zwsc	104	18	each	each	DT
cord-030686-wv77zwsc	104	19	tool	tool	NN
cord-030686-wv77zwsc	104	20	's	's	POS
cord-030686-wv77zwsc	104	21	default	default	NN
cord-030686-wv77zwsc	104	22	options	option	NNS
cord-030686-wv77zwsc	104	23	.	.	.
cord-030686-wv77zwsc	105	1	We	-PRON-	PRP
cord-030686-wv77zwsc	105	2	ran	run	VBD
cord-030686-wv77zwsc	105	3	each	each	DT
cord-030686-wv77zwsc	105	4	benchmark	benchmark	JJ
cord-030686-wv77zwsc	105	5	instance	instance	NN
cord-030686-wv77zwsc	105	6	15	15	CD
cord-030686-wv77zwsc	105	7	min	min	NN
cord-030686-wv77zwsc	105	8	,	,	,
cord-030686-wv77zwsc	105	9	thrice	thrice	RB
cord-030686-wv77zwsc	105	10	per	per	IN
cord-030686-wv77zwsc	105	11	tool	tool	NN
cord-030686-wv77zwsc	105	12	,	,	,
cord-030686-wv77zwsc	105	13	in	in	IN
cord-030686-wv77zwsc	105	14	an	an	DT
cord-030686-wv77zwsc	105	15	Intel	Intel	NNP
cord-030686-wv77zwsc	105	16	i7	i7	NN
cord-030686-wv77zwsc	105	17	-	-	HYPH
cord-030686-wv77zwsc	105	18	6700	6700	CD
cord-030686-wv77zwsc	105	19	CPU	cpu	NN
cord-030686-wv77zwsc	105	20	with	with	IN
cord-030686-wv77zwsc	105	21	Linux	Linux	NNP
cord-030686-wv77zwsc	105	22	x64	x64	CD
cord-030686-wv77zwsc	105	23	5.3.1	5.3.1	CD
cord-030686-wv77zwsc	105	24	.	.	.
cord-030686-wv77zwsc	106	1	The	the	DT
cord-030686-wv77zwsc	106	2	scatter	scatter	NN
cord-030686-wv77zwsc	106	3	plots	plot	NNS
cord-030686-wv77zwsc	106	4	of	of	IN
cord-030686-wv77zwsc	106	5	Fig	Fig	NNP
cord-030686-wv77zwsc	106	6	.	.	.
cord-030686-wv77zwsc	107	1	2	2	LS
cord-030686-wv77zwsc	107	2	show	show	VBP
cord-030686-wv77zwsc	107	3	the	the	DT
cord-030686-wv77zwsc	107	4	median	median	NN
cord-030686-wv77zwsc	107	5	of	of	IN
cord-030686-wv77zwsc	107	6	the	the	DT
cord-030686-wv77zwsc	107	7	ci	ci	NNP
cord-030686-wv77zwsc	107	8	precisions	precision	NNS
cord-030686-wv77zwsc	107	9	.	.	.
cord-030686-wv77zwsc	108	1	Sub	sub	NN
cord-030686-wv77zwsc	108	2	-	-	HYPH
cord-030686-wv77zwsc	108	3	plots	plot	NNS
cord-030686-wv77zwsc	108	4	on	on	IN
cord-030686-wv77zwsc	108	5	the	the	DT
cord-030686-wv77zwsc	108	6	bottom	bottom	NN
cord-030686-wv77zwsc	108	7	-	-	HYPH
cord-030686-wv77zwsc	108	8	right	right	NN
cord-030686-wv77zwsc	108	9	are	be	VBP
cord-030686-wv77zwsc	108	10	a	a	DT
cord-030686-wv77zwsc	108	11	zoom	zoom	NN
cord-030686-wv77zwsc	108	12	-	-	HYPH
cord-030686-wv77zwsc	108	13	ins	in	NNS
cord-030686-wv77zwsc	108	14	in	in	IN
cord-030686-wv77zwsc	108	15	the	the	DT
cord-030686-wv77zwsc	108	16	range	range	NN
cord-030686-wv77zwsc	108	17	[	[	-LRB-
cord-030686-wv77zwsc	108	18	10	10	CD
cord-030686-wv77zwsc	108	19	−10	−10	NNP
cord-030686-wv77zwsc	108	20	,	,	,
cord-030686-wv77zwsc	108	21	10	10	CD
cord-030686-wv77zwsc	108	22	−5	−5	NN
cord-030686-wv77zwsc	108	23	]	]	-RRB-
cord-030686-wv77zwsc	108	24	.	.	.
cord-030686-wv77zwsc	109	1	An	an	DT
cord-030686-wv77zwsc	109	2	(	(	-LRB-
cord-030686-wv77zwsc	109	3	x	x	NN
cord-030686-wv77zwsc	109	4	,	,	,
cord-030686-wv77zwsc	109	5	y	y	NNP
cord-030686-wv77zwsc	109	6	)	)	-RRB-
cord-030686-wv77zwsc	109	7	point	point	NN
cord-030686-wv77zwsc	109	8	is	be	VBZ
cord-030686-wv77zwsc	109	9	an	an	DT
cord-030686-wv77zwsc	109	10	instance	instance	NN
cord-030686-wv77zwsc	109	11	whose	whose	WP$
cord-030686-wv77zwsc	109	12	median	median	JJ
cord-030686-wv77zwsc	109	13	ci	ci	NNP
cord-030686-wv77zwsc	109	14	width	width	NNP
cord-030686-wv77zwsc	109	15	was	be	VBD
cord-030686-wv77zwsc	109	16	x	x	.
cord-030686-wv77zwsc	110	1	for	for	IN
cord-030686-wv77zwsc	110	2	Albeit	albeit	JJ
cord-030686-wv77zwsc	110	3	modes	mode	NNS
cord-030686-wv77zwsc	110	4	is	be	VBZ
cord-030686-wv77zwsc	110	5	multi	multi	JJ
cord-030686-wv77zwsc	110	6	-	-	JJ
cord-030686-wv77zwsc	110	7	threaded	threaded	JJ
cord-030686-wv77zwsc	110	8	,	,	,
cord-030686-wv77zwsc	110	9	these	these	DT
cord-030686-wv77zwsc	110	10	experiments	experiment	NNS
cord-030686-wv77zwsc	110	11	ran	run	VBD
cord-030686-wv77zwsc	110	12	on	on	IN
cord-030686-wv77zwsc	110	13	a	a	DT
cord-030686-wv77zwsc	110	14	single	single	JJ
cord-030686-wv77zwsc	110	15	thread	thread	NN
cord-030686-wv77zwsc	110	16	to	to	TO
cord-030686-wv77zwsc	110	17	compare	compare	VB
cord-030686-wv77zwsc	110	18	both	both	DT
cord-030686-wv77zwsc	110	19	tools	tool	NNS
cord-030686-wv77zwsc	110	20	on	on	IN
cord-030686-wv77zwsc	110	21	equal	equal	JJ
cord-030686-wv77zwsc	110	22	conditions	condition	NNS
cord-030686-wv77zwsc	110	23	.	.	.
cord-030686-wv77zwsc	111	1	On	on	IN
cord-030686-wv77zwsc	111	2	the	the	DT
cord-030686-wv77zwsc	111	3	other	other	JJ
cord-030686-wv77zwsc	111	4	hand	hand	NN
cord-030686-wv77zwsc	111	5	,	,	,
cord-030686-wv77zwsc	111	6	FIG	FIG	NNP
cord-030686-wv77zwsc	111	7	also	also	RB
cord-030686-wv77zwsc	111	8	estimates	estimate	VBZ
cord-030686-wv77zwsc	111	9	the	the	DT
cord-030686-wv77zwsc	111	10	probability	probability	NN
cord-030686-wv77zwsc	111	11	of	of	IN
cord-030686-wv77zwsc	111	12	steady	steady	JJ
cord-030686-wv77zwsc	111	13	-	-	HYPH
cord-030686-wv77zwsc	111	14	state	state	NN
cord-030686-wv77zwsc	111	15	properties	property	NNS
cord-030686-wv77zwsc	111	16	,	,	,
cord-030686-wv77zwsc	111	17	for	for	IN
cord-030686-wv77zwsc	111	18	which	which	WDT
cord-030686-wv77zwsc	111	19	there	there	EX
cord-030686-wv77zwsc	111	20	is	be	VBZ
cord-030686-wv77zwsc	111	21	no	no	DT
cord-030686-wv77zwsc	111	22	support	support	NN
cord-030686-wv77zwsc	111	23	in	in	IN
cord-030686-wv77zwsc	111	24	modes	mode	NNS
cord-030686-wv77zwsc	111	25	.	.	.
cord-030686-wv77zwsc	111	26	 	 	_SP
cord-030686-wv77zwsc	112	1	Coupling	coupling	NN
cord-030686-wv77zwsc	112	2	and	and	CC
cord-030686-wv77zwsc	112	3	importance	importance	NN
cord-030686-wv77zwsc	112	4	sampling	sampling	NN
cord-030686-wv77zwsc	112	5	for	for	IN
cord-030686-wv77zwsc	112	6	statistical	statistical	JJ
cord-030686-wv77zwsc	112	7	model	model	NN
cord-030686-wv77zwsc	112	8	checking	check	VBG
cord-030686-wv77zwsc	112	9	Automation	Automation	NNP
cord-030686-wv77zwsc	112	10	of	of	IN
cord-030686-wv77zwsc	112	11	Importance	Importance	NNP
cord-030686-wv77zwsc	113	1	Splitting	splitting	NN
cord-030686-wv77zwsc	113	2	Techniques	technique	NNS
cord-030686-wv77zwsc	113	3	for	for	IN
cord-030686-wv77zwsc	113	4	Rare	Rare	NNP
cord-030686-wv77zwsc	113	5	Event	Event	NNP
cord-030686-wv77zwsc	113	6	Simulation	Simulation	NNP
cord-030686-wv77zwsc	113	7	FIG	fig	NN
cord-030686-wv77zwsc	113	8	:	:	:
cord-030686-wv77zwsc	113	9	the	the	DT
cord-030686-wv77zwsc	113	10	Finite	Finite	NNP
cord-030686-wv77zwsc	113	11	Improbability	Improbability	NNP
cord-030686-wv77zwsc	113	12	Generator	Generator	NNP
cord-030686-wv77zwsc	113	13	.	.	.
cord-030686-wv77zwsc	114	1	4TU.Centre	4tu.centre	CD
cord-030686-wv77zwsc	114	2	for	for	IN
cord-030686-wv77zwsc	114	3	Research	Research	NNP
cord-030686-wv77zwsc	114	4	Data	Data	NNP
cord-030686-wv77zwsc	114	5	Better	Better	NNP
cord-030686-wv77zwsc	114	6	automated	automated	JJ
cord-030686-wv77zwsc	114	7	importance	importance	NN
cord-030686-wv77zwsc	114	8	splitting	splitting	NN
cord-030686-wv77zwsc	114	9	for	for	IN
cord-030686-wv77zwsc	114	10	transient	transient	JJ
cord-030686-wv77zwsc	114	11	rare	rare	JJ
cord-030686-wv77zwsc	114	12	events	event	NNS
cord-030686-wv77zwsc	115	1	A	a	DT
cord-030686-wv77zwsc	115	2	statistical	statistical	JJ
cord-030686-wv77zwsc	115	3	model	model	NN
cord-030686-wv77zwsc	115	4	checker	checker	NN
cord-030686-wv77zwsc	115	5	for	for	IN
cord-030686-wv77zwsc	115	6	nondeterminism	nondeterminism	NN
cord-030686-wv77zwsc	115	7	and	and	CC
cord-030686-wv77zwsc	115	8	rare	rare	JJ
cord-030686-wv77zwsc	115	9	events	event	NNS
cord-030686-wv77zwsc	116	1	Compositional	compositional	JJ
cord-030686-wv77zwsc	116	2	construction	construction	NN
cord-030686-wv77zwsc	116	3	of	of	IN
cord-030686-wv77zwsc	116	4	importance	importance	NN
cord-030686-wv77zwsc	116	5	functions	function	NNS
cord-030686-wv77zwsc	116	6	in	in	IN
cord-030686-wv77zwsc	116	7	fully	fully	RB
cord-030686-wv77zwsc	116	8	automated	automate	VBN
cord-030686-wv77zwsc	116	9	importance	importance	NN
cord-030686-wv77zwsc	116	10	splitting	split	VBG
cord-030686-wv77zwsc	116	11	JANI	JANI	NNP
cord-030686-wv77zwsc	116	12	:	:	:
cord-030686-wv77zwsc	117	1	Quantitative	quantitative	JJ
cord-030686-wv77zwsc	117	2	model	model	NN
cord-030686-wv77zwsc	117	3	and	and	CC
cord-030686-wv77zwsc	117	4	tool	tool	NN
cord-030686-wv77zwsc	117	5	interaction	interaction	NN
cord-030686-wv77zwsc	117	6	Sequential	Sequential	NNP
cord-030686-wv77zwsc	117	7	Monte	Monte	NNP
cord-030686-wv77zwsc	117	8	Carlo	Carlo	NNP
cord-030686-wv77zwsc	117	9	for	for	IN
cord-030686-wv77zwsc	117	10	rare	rare	JJ
cord-030686-wv77zwsc	117	11	event	event	NN
cord-030686-wv77zwsc	117	12	estimation	estimation	NN
cord-030686-wv77zwsc	118	1	Some	some	DT
cord-030686-wv77zwsc	118	2	tactical	tactical	JJ
cord-030686-wv77zwsc	118	3	problems	problem	NNS
cord-030686-wv77zwsc	118	4	in	in	IN
cord-030686-wv77zwsc	118	5	digital	digital	JJ
cord-030686-wv77zwsc	118	6	simulation	simulation	NN
cord-030686-wv77zwsc	118	7	Smart	smart	JJ
cord-030686-wv77zwsc	118	8	sampling	sampling	NN
cord-030686-wv77zwsc	118	9	for	for	IN
cord-030686-wv77zwsc	118	10	lightweight	lightweight	JJ
cord-030686-wv77zwsc	118	11	verification	verification	NN
cord-030686-wv77zwsc	118	12	of	of	IN
cord-030686-wv77zwsc	118	13	Markov	Markov	NNP
cord-030686-wv77zwsc	118	14	decision	decision	NN
cord-030686-wv77zwsc	118	15	processes	process	NNS
cord-030686-wv77zwsc	118	16	Input	input	NN
cord-030686-wv77zwsc	118	17	/	/	SYM
cord-030686-wv77zwsc	118	18	Output	output	NN
cord-030686-wv77zwsc	118	19	Stochastic	stochastic	JJ
cord-030686-wv77zwsc	118	20	Automata	Automata	NNP
cord-030686-wv77zwsc	118	21	with	with	IN
cord-030686-wv77zwsc	118	22	Urgency	urgency	NN
cord-030686-wv77zwsc	118	23	:	:	:
cord-030686-wv77zwsc	118	24	Confluence	confluence	NN
cord-030686-wv77zwsc	118	25	and	and	CC
cord-030686-wv77zwsc	118	26	weak	weak	JJ
cord-030686-wv77zwsc	118	27	determinism	determinism	NN
cord-030686-wv77zwsc	119	1	Splitting	split	VBG
cord-030686-wv77zwsc	119	2	for	for	IN
cord-030686-wv77zwsc	119	3	rare	rare	JJ
cord-030686-wv77zwsc	119	4	event	event	NN
cord-030686-wv77zwsc	119	5	simulation	simulation	NN
cord-030686-wv77zwsc	119	6	:	:	:
cord-030686-wv77zwsc	119	7	A	a	DT
cord-030686-wv77zwsc	119	8	large	large	JJ
cord-030686-wv77zwsc	119	9	deviation	deviation	NN
cord-030686-wv77zwsc	119	10	approach	approach	NN
cord-030686-wv77zwsc	119	11	to	to	TO
cord-030686-wv77zwsc	119	12	design	design	VB
cord-030686-wv77zwsc	119	13	and	and	CC
cord-030686-wv77zwsc	119	14	analysis	analysis	NN
cord-030686-wv77zwsc	120	1	A	a	DT
cord-030686-wv77zwsc	120	2	Storm	storm	NN
cord-030686-wv77zwsc	120	3	is	be	VBZ
cord-030686-wv77zwsc	120	4	coming	come	VBG
cord-030686-wv77zwsc	120	5	:	:	:
cord-030686-wv77zwsc	120	6	A	a	DT
cord-030686-wv77zwsc	120	7	modern	modern	JJ
cord-030686-wv77zwsc	120	8	probabilistic	probabilistic	JJ
cord-030686-wv77zwsc	120	9	model	model	NN
cord-030686-wv77zwsc	120	10	checker	checker	NN
cord-030686-wv77zwsc	120	11	On	on	IN
cord-030686-wv77zwsc	120	12	the	the	DT
cord-030686-wv77zwsc	120	13	importance	importance	NN
cord-030686-wv77zwsc	120	14	function	function	NN
cord-030686-wv77zwsc	120	15	in	in	IN
cord-030686-wv77zwsc	120	16	splitting	splitting	NN
cord-030686-wv77zwsc	120	17	simulation	simulation	NN
cord-030686-wv77zwsc	121	1	The	the	DT
cord-030686-wv77zwsc	121	2	splitting	splitting	NN
cord-030686-wv77zwsc	121	3	method	method	NN
cord-030686-wv77zwsc	121	4	in	in	IN
cord-030686-wv77zwsc	121	5	rare	rare	JJ
cord-030686-wv77zwsc	121	6	event	event	NN
cord-030686-wv77zwsc	121	7	simulation	simulation	NN
cord-030686-wv77zwsc	122	1	The	the	DT
cord-030686-wv77zwsc	122	2	Modest	modest	JJ
cord-030686-wv77zwsc	122	3	Toolset	toolset	NN
cord-030686-wv77zwsc	122	4	:	:	:
cord-030686-wv77zwsc	123	1	An	an	DT
cord-030686-wv77zwsc	123	2	integrated	integrated	JJ
cord-030686-wv77zwsc	123	3	environment	environment	NN
cord-030686-wv77zwsc	123	4	for	for	IN
cord-030686-wv77zwsc	123	5	quantitative	quantitative	JJ
cord-030686-wv77zwsc	123	6	modelling	modelling	NN
cord-030686-wv77zwsc	123	7	and	and	CC
cord-030686-wv77zwsc	123	8	verification	verification	NN
cord-030686-wv77zwsc	123	9	How	how	WRB
cord-030686-wv77zwsc	123	10	to	to	TO
cord-030686-wv77zwsc	123	11	Detect	detect	VB
cord-030686-wv77zwsc	123	12	and	and	CC
cord-030686-wv77zwsc	123	13	Handle	handle	VB
cord-030686-wv77zwsc	123	14	Outliers	outlier	NNS
cord-030686-wv77zwsc	123	15	.	.	.
cord-030686-wv77zwsc	124	1	ASQC	ASQC	NNP
cord-030686-wv77zwsc	124	2	basic	basic	JJ
cord-030686-wv77zwsc	124	3	references	reference	NNS
cord-030686-wv77zwsc	124	4	in	in	IN
cord-030686-wv77zwsc	124	5	quality	quality	NN
cord-030686-wv77zwsc	124	6	control	control	NN
cord-030686-wv77zwsc	124	7	Command	command	NN
cord-030686-wv77zwsc	124	8	-	-	HYPH
cord-030686-wv77zwsc	124	9	based	base	VBN
cord-030686-wv77zwsc	124	10	importance	importance	NN
cord-030686-wv77zwsc	124	11	sampling	sampling	NN
cord-030686-wv77zwsc	124	12	for	for	IN
cord-030686-wv77zwsc	124	13	statistical	statistical	JJ
cord-030686-wv77zwsc	124	14	model	model	NN
cord-030686-wv77zwsc	124	15	checking	check	VBG
cord-030686-wv77zwsc	124	16	PRISM	PRISM	NNP
cord-030686-wv77zwsc	124	17	4.0	4.0	CD
cord-030686-wv77zwsc	124	18	:	:	:
cord-030686-wv77zwsc	124	19	Verification	verification	NN
cord-030686-wv77zwsc	124	20	of	of	IN
cord-030686-wv77zwsc	124	21	probabilistic	probabilistic	JJ
cord-030686-wv77zwsc	124	22	real	real	JJ
cord-030686-wv77zwsc	124	23	-	-	HYPH
cord-030686-wv77zwsc	124	24	time	time	NN
cord-030686-wv77zwsc	124	25	systems	system	NNS
cord-030686-wv77zwsc	124	26	Splitting	splitting	NN
cord-030686-wv77zwsc	124	27	techniques	technique	NNS
cord-030686-wv77zwsc	124	28	Plasma	plasma	NN
cord-030686-wv77zwsc	124	29	Lab	Lab	NNP
cord-030686-wv77zwsc	124	30	:	:	:
cord-030686-wv77zwsc	125	1	A	a	DT
cord-030686-wv77zwsc	125	2	modular	modular	JJ
cord-030686-wv77zwsc	125	3	statistical	statistical	JJ
cord-030686-wv77zwsc	125	4	model	model	NN
cord-030686-wv77zwsc	125	5	checking	check	VBG
cord-030686-wv77zwsc	125	6	platform	platform	NN
cord-030686-wv77zwsc	125	7	SBIP	SBIP	NNP
cord-030686-wv77zwsc	125	8	2.0	2.0	CD
cord-030686-wv77zwsc	125	9	:	:	:
cord-030686-wv77zwsc	126	1	Statistical	statistical	JJ
cord-030686-wv77zwsc	126	2	model	model	NN
cord-030686-wv77zwsc	126	3	checking	check	VBG
cord-030686-wv77zwsc	126	4	stochastic	stochastic	JJ
cord-030686-wv77zwsc	126	5	real	real	JJ
cord-030686-wv77zwsc	126	6	-	-	HYPH
cord-030686-wv77zwsc	126	7	time	time	NN
cord-030686-wv77zwsc	126	8	systems	system	NNS
cord-030686-wv77zwsc	126	9	Stochastic	stochastic	JJ
cord-030686-wv77zwsc	126	10	Automata	Automata	NNP
cord-030686-wv77zwsc	126	11	for	for	IN
cord-030686-wv77zwsc	126	12	Fault	fault	NN
cord-030686-wv77zwsc	126	13	Tolerant	tolerant	JJ
cord-030686-wv77zwsc	126	14	Concurrent	Concurrent	NNP
cord-030686-wv77zwsc	126	15	Systems	Systems	NNPS
cord-030686-wv77zwsc	126	16	Introduction	introduction	NN
cord-030686-wv77zwsc	126	17	to	to	IN
cord-030686-wv77zwsc	126	18	rare	rare	JJ
cord-030686-wv77zwsc	126	19	event	event	NN
cord-030686-wv77zwsc	126	20	simulation	simulation	NN
cord-030686-wv77zwsc	126	21	Rare	Rare	NNP
cord-030686-wv77zwsc	126	22	Event	Event	NNP
cord-030686-wv77zwsc	126	23	Simulation	Simulation	NNP
cord-030686-wv77zwsc	126	24	Using	use	VBG
cord-030686-wv77zwsc	126	25	Monte	Monte	NNP
cord-030686-wv77zwsc	126	26	Carlo	Carlo	NNP
cord-030686-wv77zwsc	126	27	Methods	Methods	NNP
cord-030686-wv77zwsc	126	28	Rare	Rare	NNP
cord-030686-wv77zwsc	126	29	event	event	NN
cord-030686-wv77zwsc	126	30	simulation	simulation	NN
cord-030686-wv77zwsc	126	31	for	for	IN
cord-030686-wv77zwsc	126	32	dynamic	dynamic	JJ
cord-030686-wv77zwsc	126	33	fault	fault	NN
cord-030686-wv77zwsc	126	34	trees	tree	NNS
cord-030686-wv77zwsc	126	35	Advanced	advance	VBD
cord-030686-wv77zwsc	126	36	RESTART	RESTART	NNP
cord-030686-wv77zwsc	126	37	method	method	NN
cord-030686-wv77zwsc	126	38	for	for	IN
cord-030686-wv77zwsc	126	39	the	the	DT
cord-030686-wv77zwsc	126	40	estimation	estimation	NN
cord-030686-wv77zwsc	126	41	of	of	IN
cord-030686-wv77zwsc	126	42	the	the	DT
cord-030686-wv77zwsc	126	43	probability	probability	NN
cord-030686-wv77zwsc	126	44	of	of	IN
cord-030686-wv77zwsc	126	45	failure	failure	NN
cord-030686-wv77zwsc	126	46	of	of	IN
cord-030686-wv77zwsc	126	47	highly	highly	RB
cord-030686-wv77zwsc	126	48	reliable	reliable	JJ
cord-030686-wv77zwsc	126	49	hybrid	hybrid	JJ
cord-030686-wv77zwsc	126	50	dynamic	dynamic	JJ
cord-030686-wv77zwsc	126	51	systems	system	NNS
cord-030686-wv77zwsc	126	52	Importance	importance	NN
cord-030686-wv77zwsc	126	53	functions	function	NNS
cord-030686-wv77zwsc	126	54	for	for	IN
cord-030686-wv77zwsc	126	55	restart	restart	NN
cord-030686-wv77zwsc	126	56	simulation	simulation	NN
cord-030686-wv77zwsc	126	57	of	of	IN
cord-030686-wv77zwsc	126	58	general	general	JJ
cord-030686-wv77zwsc	126	59	Jackson	Jackson	NNP
cord-030686-wv77zwsc	126	60	networks	network	NNS
cord-030686-wv77zwsc	126	61	RESTART	restart	VBP
cord-030686-wv77zwsc	126	62	vs	vs	IN
cord-030686-wv77zwsc	126	63	Splitting	splitting	NN
cord-030686-wv77zwsc	126	64	:	:	:
cord-030686-wv77zwsc	126	65	A	a	DT
cord-030686-wv77zwsc	126	66	comparative	comparative	JJ
cord-030686-wv77zwsc	126	67	study	study	NN
cord-030686-wv77zwsc	126	68	Rare	rare	JJ
cord-030686-wv77zwsc	126	69	event	event	NN
cord-030686-wv77zwsc	126	70	simulation	simulation	NN
cord-030686-wv77zwsc	126	71	of	of	IN
cord-030686-wv77zwsc	126	72	non	non	JJ
cord-030686-wv77zwsc	126	73	-	-	JJ
cord-030686-wv77zwsc	126	74	Markovian	markovian	JJ
cord-030686-wv77zwsc	126	75	queueing	queueing	NN
cord-030686-wv77zwsc	126	76	networks	network	NNS
cord-030686-wv77zwsc	126	77	using	use	VBG
cord-030686-wv77zwsc	126	78	RESTART	restart	JJ
cord-030686-wv77zwsc	126	79	method	method	NN
cord-030686-wv77zwsc	126	80	RESTART	RESTART	NNP
cord-030686-wv77zwsc	126	81	:	:	:
cord-030686-wv77zwsc	126	82	a	a	DT
cord-030686-wv77zwsc	126	83	method	method	NN
cord-030686-wv77zwsc	126	84	for	for	IN
cord-030686-wv77zwsc	126	85	accelerating	accelerate	VBG
cord-030686-wv77zwsc	126	86	rare	rare	JJ
cord-030686-wv77zwsc	126	87	event	event	NN
cord-030686-wv77zwsc	126	88	simulations	simulation	NNS
cord-030686-wv77zwsc	127	1	Probable	probable	JJ
cord-030686-wv77zwsc	127	2	inference	inference	NN
cord-030686-wv77zwsc	127	3	,	,	,
cord-030686-wv77zwsc	127	4	the	the	DT
cord-030686-wv77zwsc	127	5	law	law	NN
cord-030686-wv77zwsc	127	6	of	of	IN
cord-030686-wv77zwsc	127	7	succession	succession	NN
cord-030686-wv77zwsc	127	8	,	,	,
cord-030686-wv77zwsc	127	9	and	and	CC
cord-030686-wv77zwsc	127	10	statistical	statistical	JJ
cord-030686-wv77zwsc	127	11	inference	inference	NN
cord-030686-wv77zwsc	128	1	Probabilistic	probabilistic	JJ
cord-030686-wv77zwsc	128	2	verification	verification	NN
cord-030686-wv77zwsc	128	3	of	of	IN
cord-030686-wv77zwsc	128	4	discrete	discrete	JJ
cord-030686-wv77zwsc	128	5	event	event	NN
cord-030686-wv77zwsc	128	6	systems	system	NNS
cord-030686-wv77zwsc	128	7	using	use	VBG
cord-030686-wv77zwsc	128	8	acceptance	acceptance	NN
cord-030686-wv77zwsc	128	9	sampling	sampling	NN
cord-030686-wv77zwsc	128	10	Acknowledgments	acknowledgment	NNS
cord-030686-wv77zwsc	128	11	.	.	.
cord-030686-wv77zwsc	129	1	The	the	DT
cord-030686-wv77zwsc	129	2	author	author	NN
cord-030686-wv77zwsc	129	3	thanks	thank	NNS
cord-030686-wv77zwsc	129	4	Arnd	Arnd	NNP
cord-030686-wv77zwsc	129	5	Hartmanns	Hartmanns	NNP
cord-030686-wv77zwsc	129	6	for	for	IN
cord-030686-wv77zwsc	129	7	excellent	excellent	JJ
cord-030686-wv77zwsc	129	8	discus-	discus-	NN