Domain specific tools and methods for application in Security processor design
scientific article; zbMATH DE number 1869965