State-based versus event-based specifications for information systems: a comparison of B and eb3. - Fraikin, Benoît; Frappier, Marc; Laleau, Régine (Software & Systems Modeling, 2005)