Time-sensitive information flow control in timed event-B.

Chunyan Mu, Shengchao Qin

Browse the full TASE paper archive.