User-oriented problem abstractions in scheduling Federico PecoraRiccardo RasconiAmedeo Cesta OriginalPaper 24 February 2006 Pages: 1 - 16
From Statecharts to Verilog: a formal approach to hardware/software co-specification Shengchao QinWei-Ngan ChinZongyan Qiu OriginalPaper 17 February 2006 Pages: 17 - 38
Modeling security as a dependability attribute: a refinement-based approach Ali MiliFrederick SheldonRahma Ben Ayed OriginalPaper 24 February 2006 Pages: 39 - 48
State-rich model checking Leo FreitasJim WoodcockAna Cavalcanti State of the Art 25 February 2006 Pages: 49 - 64