Ribeiro, Fabiola Goncalves Coelho (2019) Multi-formalism in different levels of abstraction for requirements engineering and architectural design of real-time embedded systems. PhD, Universität Oldenburg.