Various techniques for specifying reactive systems has been studied, enhanced and developped. The applications were on mainly manufacturing systems and avionics systems. Yasmina (Yet Another Specification Method for INtegration automation was dedicated to specific systems with the use of the Statecharts-Activitycharts method.