Distributed Cyber Physical Systems Software Model Checking using Timed Automata.

Purboday Ghosh, Gabor Karsai

Browse the full ISORC paper archive.