Checking noninterference in timed CSP
scientific article; zbMATH DE number 6148352