Alessandro Gerlinger Romero, Klaus Schneider, Maurício Gonçalves Vieira Ferreira. Towards the Applicability of Alf to Model Cyber-Physical Systems. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, editors, Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, Kraków, Poland, September 8-11, 2013. pages 1415-1422, 2013.
Abstract is missing.