A method for computer-implemented generation of a state machine from a simulated technical component in a block-based simulation model, where the simulated technical component is a block in the simulation model and comprises a plurality of variables (SP, TR, CU, VO, HF, TE), each variable (SP, TR, CU, VO, HF, TE) having a value range with variable values which can be assigned to the respective variable (SP, TR, CU, VO, HF, TE) when running a simulation of the technical component based on the simulation model, the method comprising the following steps: a) selecting one or more variables (SP, TR, VO) from the plurality of variables (SP, TR, CU, VO, HF, TE); b) generating for each selected variable (SP, TR, VO) a plurality of discrete states (S0, S1, V0, V1, T0, T1), each state (S0, S1, V0, V1, T0, T1) comprising a subset of values from the value range of the respective selected variable (SP, TR, VO); c) generating an automaton (A1, A2, A3) for each selected variable (SP, VO, TR), a respective automaton (A1, A2, A3) being represented by the states (S0, S1, V0, V1, T0, T1) of the respective selected variable (SP, TR, VO) and one or more transitions (TS1, TS2,..., TS6) from one state to another state of the respective selected variable (SP, TR, VO), a respective transition (TS1, TS2,..., TS6) being referenced by a label (L1, L2,..., L6) and being associated with a trigger condition (CO1, CO2,..., CO6) defining the change of the respective selected variable (SP, TR, VO) resulting in the respective transition (TS1, TS2,..., TS6); d) generating a first product automaton from the automatons (A1, A2, A3) of all selected variables (SP, TR, VO), the first product automaton comprising a plurality of vector states (S0T0P0, S1T0V0,..., S1T1V1) representing all combinations of states (S0, S1, V0, V1, T0, T1) of the selected variables (SP, VO, TR) and a plurality of vector transitions for all transitions (TS1, TS2,..., TS6) of single variables (SP, TR, CU, VO, HF, TE) generated in step c), each vector transition corresponding to a transition (TS1, TS2,..., TS6) from one state to another state of a single variable (SP, VO, TR) in a respective vector state (S0T0P0, S1T0V0,..., S1T1V1) where the states (S0, S1, V0, V1, T0, T1) of the other variables (SP, VO, TR) in the respective vector state (S0T0P0, S1T0V0,..., S1T1V1) remain unchanged, where the label (L1, L2,..., L6) and the trigger condition (CO1, CO2,..., CO6) of the respective vector transition correspond to the label (LA1, LA2,..., LA6) and the trigger condition (CO1, CO2,..., CO6) of the transition (TS1, TS2,..., TS6) to which the respective vector transition corresponds; e) removing superfluous vector transitions (VT') from the first product automaton based on predefined rules applying to the simulation model, the first product automaton not containing the removed superfluous vector transitions (VT') is a second product automaton (PA') which is the generated state machine, wherein said first product automaton is reduced in size such that less computational resources are needed when processing the second product automaton a) selecting one or more variables (SP, TR, VO) from the plurality of variables (SP, TR, CU, VO, HF, TE); b) generating for each selected variable (SP, TR, VO) a plurality of discrete states (S0, S1, V0, V1, T0, T1), each state (S0, S1, V0, V1, T0, T1) comprising a subset of values from the value range of the respective selected variable (SP, TR, VO); c) generating an automaton (A1, A2, A3) for each selected variable (SP, VO, TR), a respective automaton (A1, A2, A3) being represented by the states (S0, S1, V0, V1, T0, T1) of the respective selected variable (SP, TR, VO) and one or more transitions (TS1, TS2,..., TS6) from one state to another state of the respective selected variable (SP, TR, VO), a respective transition (TS1, TS2,..., TS6) being referenced by a label (L1, L2,..., L6) and being associated with a trigger condition (CO1, CO2,..., CO6) defining the change of the respective selected variable (SP, TR, VO) resulting in the respective transition (TS1, TS2,..., TS6); d) generating a first product automaton from the automatons (A1, A2, A3) of all selected variables (SP, TR, VO), the first product automaton comprising a plurality of vector states (S0T0P0, S1T0V0,..., S1T1V1) representing all combinations of states (S0, S1, V0, V1, T0, T1) of the selected variables (SP, VO, TR) and a plurality of vector transitions for all transitions (TS1, TS2,..., TS6) of single variables (SP, TR, CU, VO, HF, TE) generated in step c), each vector transition corresponding to a transition (TS1, TS2,..., TS6) from one state to another state of a single variable (SP, VO, TR) in a respective vector state (S0T0P0, S1T0V0,..., S1T1V1) where the states (S0, S1, V0, V1, T0, T1) of the other variables (SP, VO, TR) in the respective vector state (S0T0P0, S1T0V0,..., S1T1V1) remain unchanged, where the label (L1, L2,..., L6) and the trigger condition (CO1, CO2,..., CO6) of the respective vector transition correspond to the label (LA1, LA2,..., LA6) and the trigger condition (CO1, CO2,..., CO6) of the transition (TS1, TS2,..., TS6) to which the respective vector transition corresponds; e) removing superfluous vector transitions (VT') from the first product automaton based on predefined rules applying to the simulation model, the first product automaton not containing the removed superfluous vector transitions (VT') is a second product automaton (PA') which is the generated state machine,