Bounded model checking for asynchronous hyperproperties
scientific article; zbMATH DE number 7777297