AuthorD. PhanJ. YangR. GrosuS. SmolkaS. Stoller Year of Publication2017 JournalFormal Methods in System Design Date Published01/2017 Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS
