Search results for "SysML"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Ehsan Poorhadi, Elena Troubitsyna, György Dán	Analysing the Impact of Security Attacks on Safety Using SysML and Event-B.	IMBSA	2022	DBLP DOI BibTeX RDF
17	Andreas Hemmert, Andreas Schweiger	Development of a SysML Profile for Network Configurations in Safety-critical Systems.	Modellierung (Workshops)	2022	DBLP DOI BibTeX RDF
17	Fabian Giertzsch, Oliver C. Eichmann, Hartmut Hintze, Ralf God	An approach for a simulation-based analysis of business processes using the systems modeling language (SysML).	MoDELS (Companion)	2022	DBLP DOI BibTeX RDF
17	Robert Thorburn, Vladimiro Sassone, Asieh Salehi Fathabadi, Leonardo Aniello, Michael J. Butler, Dana Dghaym, Thai Son Hoang	A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design.	MoDELS (Companion)	2022	DBLP DOI BibTeX RDF
17	Jialu Chen, Baokun Hu, Wanwan Diao, Yuqian Huang	Automatic generation of SysML requirement models based on Chinese natural language requirements.	EITCE	2022	DBLP DOI BibTeX RDF
17	Yanhong Dong, Jun Hu, Lisong Wang, Ximeng Huang	A Transformation Framework From SysML to AltaRica Models for System Safety Analysis.	EITCE	2022	DBLP DOI BibTeX RDF
17	Fabian Wilking, Christopher Sauer, Benjamin Schleich, Sandro Wartzack	Integrating Machine Learning in Digital Twins by utilizing SysML System Models.	SoSE	2022	DBLP DOI BibTeX RDF
17	Emanuel Marx	ServML - A Domain-Specific Modeling Language as an Extension of SysML to Model Smart Service Systems.	CBI (1)	2022	DBLP DOI BibTeX RDF
17	Simon Rädler, Eugen Rigger, Juergen Mangler, Stefanie Rinderle-Ma	Integration of Machine Learning Task Definition in Model-Based Systems Engineering using SysML.	INDIN	2022	DBLP DOI BibTeX RDF
17	Racem Bougacha, Régine Laleau, Simon Collart Dutilleul, Rahma Ben Ayed	Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications.	TASE	2022	DBLP DOI BibTeX RDF
17	Junjie Zhao, Bingfeng Xu, Xinkai Chen, Bo Wang, Gaofeng He	Analysis Method of Security Critical Components of Industrial Cyber Physical System based on SysML.	CBD	2022	DBLP DOI BibTeX RDF
17	Jeff Gray 0001, Bernhard Rumpe	Reflections on the standardization of SysML 2.	Softw. Syst. Model.	2021	DBLP DOI BibTeX RDF
17	Chao Fu, Jihong Liu, Shu De Wang	Building SysML Model Graph to Support the System Model Reuse.	IEEE Access	2021	DBLP DOI BibTeX RDF
17	Ponciano Jorge Escamilla-Ambrosio, David Alejandro Robles-Ramírez, Theo Tryfonas, Abraham Rodriguez-Mota, Gina Gallegos-García, Moisés Salinas-Rosales	IoTsecM: A UML/SysML Extension for Internet of Things Security Modeling.	IEEE Access	2021	DBLP DOI BibTeX RDF
17	Yizhe Zhang 0004, Gregor Hoepfner, Joerg K. Berroth, Gerwin Pasch, Georg Jacobs	Towards Holistic System Models Including Domain-Specific Simulation Models Based on SysML.	Syst.	2021	DBLP DOI BibTeX RDF
17	George-Dimitrios Kapos, Anargyros Tsadimas, Christos Kotronis, Vassilis Dalakas, Mara Nikolaidou, Dimosthenis Anagnostopoulos	A Declarative Approach for Transforming SysML Models to Executable Simulation Models.	IEEE Trans. Syst. Man Cybern. Syst.	2021	DBLP DOI BibTeX RDF
17	Andreas Pfadler, Rong Zhu, Wei Chen 0133, Botong Huang, Tianjing Zeng, Bolin Ding, Jingren Zhou	Baihe: SysML Framework for AI-driven Databases.	CoRR	2021	DBLP BibTeX RDF
17	Pierre de Saqui-Sannes, Ludovic Apvrille, Rob A. Vingerhoeds	Checking SysML Models Against Safety and Security Properties.	J. Aerosp. Inf. Syst.	2021	DBLP DOI BibTeX RDF
17	Yuanjie Lu, Zhimin Liu, Zhixiao Sun, Miao Wang, Wenqing Yi, Yang Bai	Research on Behavior Modeling and Simulation of Complex UAV Based on SysML State Machine Diagram.	CSDM Asia / CSDM	2021	DBLP DOI BibTeX RDF
17	Junjie Yan, Biao Hu, Xin Wang, Minghui Yue, Xiaobing Liu, Marco Forlingieri, Richard Sun	Supporting Automotive Cooling and HVAC Systems Design Using a SysML-Modelica Transformation Approach.	CSDM Asia / CSDM	2021	DBLP DOI BibTeX RDF
17	Jin Su, Jianjun Hu, Yue Cao, Yusheng Liu, Wang Chen, Chao Wang	Towards Automated GUI Design of Display Control Systems Based on SysML and Ontologies.	CSDM Asia / CSDM	2021	DBLP DOI BibTeX RDF
17	Alessandro Tempia Calvino, Ludovic Apvrille	Direct Model-checking of SysML Models.	MODELSWARD	2021	DBLP DOI BibTeX RDF
17	Amel Berrachedi, Malika Ioualalen, Ahmed Hammad	Towards the Formal Modeling Methodology of WSN through the Transformation of SysML into DSPNs.	SIMULTECH	2021	DBLP DOI BibTeX RDF
17	Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe	Model-Based Design of Correct Safety-Critical Systems using Dataflow Languages on the Example of SysML Architecture and Behavior Diagrams.	Software Engineering (Satellite Events)	2021	DBLP BibTeX RDF
17	Christos Kotronis, Anargyros Tsadimas, Mara Nikolaidou	Providing Designers with Automated Decision-Making within SysML Models to Promote Efficient Model-Based Systems Design.	SysCon	2021	DBLP DOI BibTeX RDF
17	Jingwei Huang 0002, Wael Khallouli, Holly A. H. Handley, William W. Edmonson, Trisha Ahmed, Nadew Kibret	Semantic Mapping from SysML to FRP: to Enable Executable and Verifiable Systems Design.	SysCon	2021	DBLP DOI BibTeX RDF
17	Sylvia Melzer, Stefan Thiemann, Ralf Möller 0001	Modeling and Simulating Federated Databases for early Validation of Federated Searches using the Broker-based SysML Toolbox.	SysCon	2021	DBLP DOI BibTeX RDF
17	Holly A. H. Handley, Wael Khallouli, Jingwei Huang 0002, William Edmonson, Nadew Kibret	Maintaining the Consistency of SysML Model Exports to XML Metadata Interchange (XMI).	SysCon	2021	DBLP DOI BibTeX RDF
17	Yue Cao, Yusheng Liu, Bo Huang, Ganming Huang, Xiaoping Ye	Transformation from System Design Models in SysML to Executable IEC 61499 Function Block Models.	CRC	2021	DBLP DOI BibTeX RDF
17	Shubhangi Salunkhe, Randolf Berglehner, Abdul Rasheeq	Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application.	ABZ	2021	DBLP DOI BibTeX RDF
17	Camila Araújo	A Model-Driven Approach for Formally Verifying SysML-Based Dynamic Software Architectures (short paper).	ECSA (Companion)	2021	DBLP BibTeX RDF
17	Jan Laufer 0001, Zoltán Ádám Mann, Andreas Metzger	Modelling Data Protection in Fog Computing Systems using UMLsec and SysML-Sec.	MoDELS (Companion)	2021	DBLP DOI BibTeX RDF
17	Camila Araújo, Thaís Batista, Everton Cavalcante, Flávio Oquendo	Generating Formal Software Architecture Descriptions from Semi-Formal SysML-Based Models: A Model-Driven Approach.	ICCSA (3)	2021	DBLP DOI BibTeX RDF
17	Layse Santos Souza, Michel S. Soares	Combining SysML with Petri Nets for the Design of an Urban Traffic Signal Control.	ICCSA (9)	2021	DBLP DOI BibTeX RDF
17	Tauany L. S. Santos, Michel S. Soares	A Qualitative Study on SysML Based on Perceived Views from Industry Professionals.	ICCSA (9)	2021	DBLP DOI BibTeX RDF
17	Pranav Maneriker, Yuntian He, Srinivasan Parthasarathy 0001	SYSML: StYlometry with Structure and Multitask Learning: Implications for Darknet Forum Migrant Analysis.	EMNLP (1)	2021	DBLP DOI BibTeX RDF
17	Kimberly Lai, Michael Gruninger	Can SysML Be Used for Enterprise Modelling?	PoEM	2021	DBLP DOI BibTeX RDF
17	Mark Bouwman, Bas Luttik, Djurre van der Wal	A Formalisation of SysML State Machines in mCRL2.	FORTE	2021	DBLP DOI BibTeX RDF
17	Martin Becker 0002, Andreas Schäfer	Variability realization in UML/SysML models.	SPLC (A)	2021	DBLP DOI BibTeX RDF
17	Maher Aljehani, Masahiro Inoue, Taketoshi Yokemura	Particle Swarm Optimization Algorithm Presented in SysML and Applied in Multi-UAV System.	ICCE	2021	DBLP DOI BibTeX RDF
17	Xinyue Yang, Jian Zhang, Shan Zhou, Bin Wang, Ruixue Wang	Generating Test Scenarios using SysML Activity Diagram.	DSA	2021	DBLP DOI BibTeX RDF
17	Atif Mahboob	Modelling and use of SysML behaviour models for achieving dynamic use cases of technical products in different VR-systems.		2021	RDF
17	Peter Munk, Arne Nordmann	Model-based safety assessment with SysML and component fault trees: application and lessons learned.	Softw. Syst. Model.	2020	DBLP DOI BibTeX RDF
17	Sabine Wolny, Alexandra Mazak, Christine Carpella, Verena Geist, Manuel Wimmer	Thirteen years of SysML: a systematic mapping study.	Softw. Syst. Model.	2020	DBLP DOI BibTeX RDF
17	Edward Huang, Leon F. McGinnis, Steven W. Mitchell	Verifying SysML activity diagrams using formal transformation to Petri nets.	Syst. Eng.	2020	DBLP DOI BibTeX RDF
17	Christos Kotronis, Mara Nikolaidou, George-Dimitrios Kapos, Anargyros Tsadimas, Vassilis Dalakas, Dimosthenis Anagnostopoulos	Employing SysML to model and explore levels-of-service: The case of passenger comfort in railway transportation systems.	Syst. Eng.	2020	DBLP DOI BibTeX RDF
17	Hiroyasu Tsuji, Mayuka Shii, Shogo Yokoyama, Yuki Takamido, Yuji Murase, Soshi Masaki, Kenichi Ohara	Reusable robot system for display and disposal tasks at convenience stores based on a SysML model and RT Middleware.	Adv. Robotics	2020	DBLP DOI BibTeX RDF
17	Erika Rizzo Aquino, Pierre de Saqui-Sannes, Rob A. Vingerhoeds	A Methodological Assistant for UML and SysML Use Case Diagrams.	MODELSWARD (Revised Selected Papers)	2020	DBLP DOI BibTeX RDF
17	Georgiana Caltais, Stefan Leue, Hargurbir Singh	Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela.	MODELSWARD	2020	DBLP DOI BibTeX RDF
17	Maysam Zoor, Ludovic Apvrille, Renaud Pacalet	Impact of Security Measures on Performance Aspects in SysML Models.	MODELSWARD	2020	DBLP DOI BibTeX RDF
17	Nga Nguyen 0001, Faïda Mhenni, Jean-Yves Choley	A Study on SysML and AltaRica Models Transformation.	SysCon	2020	DBLP DOI BibTeX RDF
17	Rihab Brahmi, Moncef Hammadi, Jean-Yves Choley, Moez Trigui, Nizar Aifaoui	A SysML profile for mechanical assembly.	SysCon	2020	DBLP DOI BibTeX RDF
17	Fellipe Guilherme Rey de Souza, Juliana de Melo Bezerra, Celso Massaki Hirata, Pierre de Saqui-Sannes, Ludovic Apvrille	Combining STPA with SysML Modeling.	SysCon	2020	DBLP DOI BibTeX RDF
17	Lidiane Oliveira dos Santos, Eduardo Silva, Thaís Batista, Jair C. Leite, Everton Cavalcante, Flávio Oquendo	Evaluating a SysML-based Graphical Notation for Modeling Internet of Things System Architectures.	WF-IoT	2020	DBLP DOI BibTeX RDF
17	Messaoud Rahim, Malika Boukala-Ioualalen, Ahmed Hammad	Hierarchical Colored Petri Nets for the Verification of SysML Designs- Activity-Based Slicing Approach.	CSA	2020	DBLP DOI BibTeX RDF
17	Amal Ahmed Anda, Daniel Amyot	Traceability Management of GRL and SysML Models.	SAM	2020	DBLP DOI BibTeX RDF
17	Nan Niu, Logan Johnson, Christopher Diltz	Safety Patterns for SysML: What Does OMG Specify?	ICSR	2020	DBLP DOI BibTeX RDF
17	Katrin Hölldobler, Nico Jansen, Bernhard Rumpe, Andreas Wortmann 0001	Komposition Domänenspezifischer Sprachen unter Nutzung der MontiCore Language Workbench, am Beispiel SysML 2.	Modellierung	2020	DBLP BibTeX RDF
17	Fagner Dias, Marcel Oliveira, Thaís Vasconcelos Batista, Everton Cavalcante, Jair C. Leite, Flávio Oquendo, Camila Araújo	Empowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP.	ECSA	2020	DBLP DOI BibTeX RDF
17	Imke Drave, Bernhard Rumpe, Andreas Wortmann 0001, Joerg K. Berroth, Gregor Hoepfner, Georg Jacobs, Kathrin Spuetz, Thilo Zerwas, Christian Guist, Jens Kohl	Modeling mechanical functional architectures in SysML.	MoDELS	2020	DBLP DOI BibTeX RDF
17	Maysam Zoor, Ludovic Apvrille, Renaud Pacalet	SysML models: studying safety and security measures impact on performance using graph tainting.	MoDELS (Companion)	2020	DBLP DOI BibTeX RDF
17	Layse Santos Souza, Sanjay Misra, Michel S. Soares	SmartCitySysML: A SysML Profile for Smart Cities Applications.	ICCSA (6)	2020	DBLP DOI BibTeX RDF
17	Sema Çam, Bilge Kaan Görür, Joseph Ledet, Halit Oguztüzün, Levent Yilmaz	Transformation from SysML to RePast and Back.	ANT/EDI40	2020	DBLP DOI BibTeX RDF
17	Martin Becker 0002, Andreas Schäfer	Variability realization in UML/SysML models.	SPLC (A)	2020	DBLP DOI BibTeX RDF
17	Patrick Leserf, Pierre de Saqui-Sannes, Jérôme Hugues	Trade-off analysis for SysML models using decision points and CSPs.	Softw. Syst. Model.	2019	DBLP DOI BibTeX RDF
17	Hongli Wang, Deming Zhong, Tingdi Zhao, Fuchun Ren	Integrating Model Checking With SysML in Complex System Safety Analysis.	IEEE Access	2019	DBLP DOI BibTeX RDF
17	Fabíola Gonçalves C. Ribeiro, Achim Rettberg, Carlos Eduardo Pereira, Michel S. Soares	Ein Modellierungsansatz für eine Systemarchitekturbeschreibung von Automotive-Systemen mit MARTE und SysML.	Autom.	2019	DBLP DOI BibTeX RDF
17	Wentao Wang 0003, Nan Niu, Mounifah Alenazi, Li Da Xu	In-Place Traceability for Automated Production Systems: A Survey of PLC and SysML Tools.	IEEE Trans. Ind. Informatics	2019	DBLP DOI BibTeX RDF
17	Alejandro Salado, Paul Wach	Constructing True Model-Based Requirements in SysML.	Syst.	2019	DBLP DOI BibTeX RDF
17	Alexander Ratner, Dan Alistarh, Gustavo Alonso, David G. Andersen, Peter Bailis, Sarah Bird, Nicholas Carlini, Bryan Catanzaro, Eric S. Chung, Bill Dally, Jeff Dean, Inderjit S. Dhillon, Alexandros G. Dimakis, Pradeep Dubey, Charles Elkan, Grigori Fursin, Gregory R. Ganger, Lise Getoor, Phillip B. Gibbons, Garth A. Gibson, Joseph E. Gonzalez, Justin Gottschlich, Song Han 0003, Kim M. Hazelwood, Furong Huang, Martin Jaggi, Kevin G. Jamieson, Michael I. Jordan, Gauri Joshi, Rania Khalaf, Jason Knight, Jakub Konecný, Tim Kraska, Arun Kumar 0001, Anastasios Kyrillidis, Jing Li 0073, Samuel Madden 0001, H. Brendan McMahan, Erik Meijer 0001, Ioannis Mitliagkas, Rajat Monga, Derek Gordon Murray, Dimitris S. Papailiopoulos, Gennady Pekhimenko, Theodoros Rekatsinas, Afshin Rostamizadeh, Christopher Ré, Christopher De Sa, Hanie Sedghi, Siddhartha Sen 0001, Virginia Smith, Alex Smola, Dawn Song, Evan R. Sparks, Ion Stoica, Vivienne Sze, Madeleine Udell, Joaquin Vanschoren, Shivaram Venkataraman, Rashmi Vinayak, Markus Weimer, Andrew Gordon Wilson, Eric P. Xing, Matei Zaharia, Ce Zhang 0001, Ameet Talwalkar	SysML: The New Frontier of Machine Learning Systems.	CoRR	2019	DBLP BibTeX RDF
17	Grigori Fursin	SysML'19 demo: customizable and reusable Collective Knowledge pipelines to automate and reproduce machine learning experiments.	CoRR	2019	DBLP BibTeX RDF
17	Bassim Chabibi, Mahmoud Nassar, Adil Anwar	SimulML: A DSML for Simulating SysML Models.	J. Comput. Sci. Eng.	2019	DBLP DOI BibTeX RDF
17	Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir	SysML model-driven approach to verify blocks compatibility.	Int. J. Comput. Aided Eng. Technol.	2019	DBLP DOI BibTeX RDF
17	Wanqian Li, Jun Hu, Song Chen, Weijun Zhang	面向SysML模型的安全性分析与验证方法 (Method of System Safety Analysis and Verification for SysML Models).	计算机科学	2019	DBLP DOI BibTeX RDF
17	Myron Hecht, David Baum, Joe Betser	Automated Failure Modes and Effects Analysis using SysML for Industrial Computer Network Reliability and Cybersecurity.	IM	2019	DBLP BibTeX RDF
17	Andrea Enrici, Ludovic Apvrille, Renaud Pacalet	Efficient Data-Flow Analysis of UML/SysML Diagrams for Optimized Model Compilation of Hardware-software Systems.	MODELSWARD	2019	DBLP DOI BibTeX RDF
17	Andrea Enrici, Ludovic Apvrille, Renaud Pacalet, Minh Hiep Pham	Static Data-Flow Analysis of UML/SysML Functional Views for Signal and Image Processing Applications.	MODELSWARD (Revised Selected Papers)	2019	DBLP DOI BibTeX RDF
17	Maurice Theobald, Jérémie Tatibouet	Using fUML Combined with a DSML: An Implementation using Papyrus UML/SysML Modeler.	MODELSWARD	2019	DBLP DOI BibTeX RDF
17	Fei Deng, Yunqiang Yan, Feng Gao, Linbo Wu	Modeling and Simulation of CPS based on SysML and Modelica (S).	SEKE	2019	DBLP DOI BibTeX RDF
17	Samir Ouchani	Towards a fractionation-based verification: application on SysML activity diagrams.	SAC	2019	DBLP DOI BibTeX RDF
17	Toshinori Takai, Katsutoshi Shintani, Hideki Andoh, Hironori Washizaki	Case Study Applying GQM+Strategies with SysML for IoT Application System Development.	IIAI-AAI	2019	DBLP DOI BibTeX RDF
17	Samir Ouchani	Towards a Call Behavior-Based Compositional Verification Framework for SysML Activity Diagrams.	ICTAC	2019	DBLP DOI BibTeX RDF
17	Kester Dean Clegg, Mole Li, David Stamp, Alan Grigg, John A. McDermid	A SysML Profile for Fault Trees - Linking Safety Models to System Design.	SAFECOMP	2019	DBLP DOI BibTeX RDF
17	Pierre de Saqui-Sannes, Ludovic Apvrille	Test Sequence Generation From Formally Verified SysML Models.	Software Engineering (Workshops)	2019	DBLP BibTeX RDF
17	Mounifah Alenazi, Nan Niu, Juha Savolainen	SysML Modeling Mistakes and Their Impacts on Requirements.	RE Workshops	2019	DBLP DOI BibTeX RDF
17	Linbo Wu, Yunqiang Yan, Feng Gao, Xiaohong Chen, Changhai Nie	Research on Modeling and Verification Methods for Embedded Software Systems Based on SysML.	QRS Companion	2019	DBLP DOI BibTeX RDF
17	Hugo Daigmorte, Pierre de Saqui-Sannes, Rob A. Vingerhoeds	A SysML Method with Network Dimensioning.	ISSE	2019	DBLP DOI BibTeX RDF
17	Seungmin Lee, Soojin Park, Young Bom Park	Self-Adaptive System Verification based on SysML.	ICEIC	2019	DBLP DOI BibTeX RDF
17	Régis Plateaux, Olivia Penas, Farid Louni	Use of a Pivot Diagram in SysML to Support an Automated Implementation of a MBSE Design Methodology in an Industry 4.0 Context.	SAM	2019	DBLP DOI BibTeX RDF
17	Quelita A. D. S. Ribeiro, Achim Rettberg, Fabíola Gonçalves C. Ribeiro, Michel S. Soares	A Comparative Analysis Between SysML and AADL When Modeling a Real-Time System.	IESS	2019	DBLP DOI BibTeX RDF
17	Huaxia Li, Long Tian, Birgit Vogel-Heuser	Automatic Synchronization of Mechanical CAD Models and a SysML-based Mechatronic Model using AutomationML.	SMC	2019	DBLP DOI BibTeX RDF
17	Arut Prakash Kaleeswaran, Peter Munk, Samir Sarkic, Thomas Vogel 0001, Arne Nordmann	A Domain Specific Language to Support HAZOP Studies of SysML Models.	IMBSA	2019	DBLP DOI BibTeX RDF
17	Kester Dean Clegg, Mole Li, David Stamp, Alan Grigg, John A. McDermid	Integrating Existing Safety Analyses into SysML.	IMBSA	2019	DBLP DOI BibTeX RDF
17	Ralph Maschotta, Alexander Wichmann, Armin Zimmermann, Kristina Gruber	Integrated Automotive Requirements Engineering with a SysML-Based Domain-Specific Language.	ICM	2019	DBLP DOI BibTeX RDF
17	Yuki Takamido, Hiroyasu Tsuji, Yuji Murase, Soshi Masaki, Kenichi Ohara	System Integration for display disposal tasks in convenience stores based on SysML Model and Robotics Middleware.	SII	2019	DBLP DOI BibTeX RDF
17	Bashar Al-Shboul, Dorina C. Petriu	Pattern-based transformation of SysML models into fault tree models.	CASCON	2019	DBLP BibTeX RDF
17	Roger Bostelman, Sebti Foufou, Tsai Hong, Mili Shah	Model of Mobile Manipulator Performance Measurement using SysML.	J. Intell. Robotic Syst.	2018	DBLP DOI BibTeX RDF
17	Fabíola Gonçalves C. Ribeiro, Carlos Eduardo Pereira, Achim Rettberg, Michel S. Soares	Model-based requirements specification of real-time systems with UML, SysML and MARTE.	Softw. Syst. Model.	2018	DBLP DOI BibTeX RDF
17	William C. Bailey, Judy Che, Poyu Tsou, Mark J. Jennings	A Framework for Automated Model Interface Coordination Using SysML.	J. Comput. Inf. Sci. Eng.	2018	DBLP DOI BibTeX RDF
17	Bassim Chabibi, Adil Anwar, Mahmoud Nassar	Towards a Model Integration from SysML to MATLAB/Simulink.	J. Softw.	2018	DBLP DOI BibTeX RDF