Moded and continuous abstract state machines
scientific article; zbMATH DE number 7495052
scientific article