Specification and analysis of the AER/NCA active network protocol suite in real-time Maude
scientific article; zbMATH DE number 5118396