JournalFormal Methods in System Design : an international journalDetailsPublisherSpringer New York LLCPublisher locationNew YorkJournal ISSN0925-9856Journal e-ISSN1572-8102Peer-reviewed Yes StatusactiveAuthor's publications results Back to results Search Search Tools Loading search results...