Mira Balaban, Igal Khitron, Michael Kifer. Multilevel Modeling and Reasoning with FOML. In 2016 IEEE International Conference on Software Science, Technology and Engineering, SWSTE 2016, Beer Sheva, Israel, June 23-24, 2016. pages 61-70, IEEE, 2016. [doi]
Abstract is missing.