@TechReport{SR07:TechReport,
	author = {C. Seidner and O. H. Roux},
	title  ={On the Formal Verification of {EFFBD} Models Using a Structural Translation to Time {P}etri Nets },
	year = {2007},
	institution = {IRCCyN},
	address = {Nantes, France},
	month = oct,
	number = {RI2007­3 3695},
	type = {Internal report},
	note = {revised April 2008}
}