1. Benevides, A.B., et al.: Validating modal aspects of OntoUML conceptual models using automatically generated visual world structures. J. Univ. Comput. Sci. 16(20), 2904–2933 (2010)
2. Bühmann, L., et al.: DL-Learner-a framework for inductive learning on the semantic web. J. Web Semant. 39, 15–24 (2016)
3. Cairns-Smith, G.: The Life Puzzle: On Crystals and Organisms and on the Possibility of a Crystal as an Ancestor. University of Toronto Press, Toronto (1971)
4. Clarke, E.M., Jr., et al.: Model Checking. MIT press, Cambridge (2018)
5. Collins: Litmus test. In: Collins Dictionary. https://www.collinsdictionary.com/dictionary/english/litmus-test, Accessed 02 Apr 2021