@conference {ElHamlaoui2022424,
	title = {A Model Based Approach for Generating Modular Manufacturing Control Systems Software},
	booktitle = {Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE},
	year = {2022},
	note = {cited By 0},
	pages = {424-427},
	abstract = {Digitalization is transforming manufacturing systems to become more agile and smart thanks to the integration of sensors and connection technologies that help capture data at all phases of a product{\textquoteright}s life cycle. Digitalization promises to improve manufacturing flexibility, quality, productivity, and reliability. However, there is still a significant need of effective methods to develop models that could enhance the capabilities of manufacturing systems. Formal methods and tools are becoming essential to achieve this objective. Within this context, this paper introduces a formal software solution for the automatic generation of modular manufacturing control systems software. The proposed solution leverages software Model-Based Design (MBD) techniques to reduce development effort, time, and human error by automating several manual steps. {\textcopyright} 2022 Knowledge Systems Institute Graduate School. All rights reserved.},
	keywords = {All phase, Component, Control system software, Control systems, Cybe-physical manufacturing, Cyber Physical System, Cyber physicals, Digital subscriber lines, Embedded systems, formal methods, Grafcet, Industry 4.0, Life cycle, Manufacturing control systems, MDE, Metadata, Model based approach, Modulars},
	doi = {10.18293/SEKE2022-151},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85137161158\&doi=10.18293\%2fSEKE2022-151\&partnerID=40\&md5=3784648e72d7591498aa74fb97896480},
	author = {El Hamlaoui, M. and Qamsane, Y. and Laghouaouta, Y. and Mishra, A.}
}
@article {8885929720120901,
	title = {Using Aspect-Oriented State Machines for Detecting and Resolving Feature Interactions.},
	journal = {Computer Science \& Information Systems},
	volume = {9},
	number = {3},
	year = {2012},
	pages = {1046 - 1074},
	abstract = {The article focuses on the use of aspect-oriented state machines that helps in detecting feature interactions. It mentions that domain- specific language (DSL) is introduced to manage Finite State Machines with pattern matching technique. It mentions that in software product-line (SPL) engineers divides a software system into functional features through feature model.},
	keywords = {aspect interactions, Aspect-oriented programming, Computer hardware description languages, Computer software, conflict detection, conflict resolution, domain-specific aspect languages, feature interactions, Finite state machines (Computer science), formal methods, Image registration, object-oriented programming, state machines},
	issn = {18200214},
	url = {http://search.ebscohost.com/login.aspx?direct=true\&db=iih\&AN=88859297\&site=ehost-live},
	author = {Dinkelaker, Tom and Erradi, Mohammed and Ayache, Meryeme}
}
