Augmenting Event-B modelling with real-time verification.

Alexei Iliasov, Alexander B. Romanovsky, Linas Laibinis, Elena Troubitsyna, Timo Latvala

Browse the full ICSE paper archive.