@article{3ee37e48c9d94e78b2a1bc5481fe5068,
title = "Preface",
author = "Alex Groce and Stefan Leue",
note = "Funding Information: This talk reports on the past M oint work with ) rancien Dechesne and Simona Orzan and ongoing M oint work with * eorgiana Caltais and Stefan / eue The work of M R Mousavi has been partially supported by the Swedish Research Council Vetenskapsradet award number: 21201 5057 Effective Model-%ased Testing of Concurrent Systems and the Swedish . nowledge ) oundation Stiftelsen for . unskaps och . ompetensutveckling in the conte[ t of the AUTOCAAS + | * proM ect number: 201 0 12 and the Strategic Research Environment E/ / IIT 2 Combining Epistemic and Operational Aspects; 2nd International Workshop on Causal Reasoning for Embedded and Safety-Critical Systems Technologies, CREST 2017 ; Conference date: 29-04-2017",
year = "2017",
month = oct,
day = "10",
doi = "10.4204/EPTCS.259",
language = "English (US)",
volume = "259",
journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",
issn = "2075-2180",
publisher = "Open Publishing Association",
}