diff --git a/org.fortiss.af3.rcp.help/html/.ratings b/org.fortiss.af3.rcp.help/html/.ratings
index 87d4f25b890e010aa85d060dc78a5943fb1f4844..77d02606dbb3450ac7ec36916f665497c001a1d8 100644
--- a/org.fortiss.af3.rcp.help/html/.ratings
+++ b/org.fortiss.af3.rcp.help/html/.ratings
@@ -20,7 +20,7 @@ component_architecture.html 5a01c22bbfb55839ef8d05e5850a926173f9452c RED
cosimulation_with_af3.html a2daa6bb9a39083cf2498df26df54572f69c38da RED
data_dictionary.html 4e8d032d4c419f7b431c7054c0068396f93bc782 RED
external_tools.html 49d87b1873ffd6c5132aafd7238464a565742a55 RED
-getting_started.html 4f29d33898f756c5483d6fc79e8decbe1bae17e6 RED
+getting_started.html 97a1800076916476df3440df05ee5739ba60f45f RED
hierarchical_state_automaton.html cebd924f514cd50f229c7745e173f76bd0c0038b RED
library.html 4dcbc369f70cc5ba943404da07e15955df65b3fc RED
loading_standard_examples.html a2693477f0afb902f2899d12b3166f01378f6d8d RED
diff --git a/org.fortiss.af3.rcp.help/html/dse/.ratings b/org.fortiss.af3.rcp.help/html/dse/.ratings
index 2196dcc5fe4bacbcd48bdf6949bf36e6d3a5f283..ad83e526a9390c94e8003973b50f7204774d5e14 100644
--- a/org.fortiss.af3.rcp.help/html/dse/.ratings
+++ b/org.fortiss.af3.rcp.help/html/dse/.ratings
@@ -1,8 +1,8 @@
-constraints.html 5caa01a56af1918f1897882c796ca6abbf24dad4 RED
-deployment_synthesis.html 8b7bacb1c3b6889f326af12d434b52d30cdc90f0 RED
-dse_dashboard.html 1664f52bda80cc39f9c04744803cd65f52216bbf RED
-dse_perspective.html d797fac721b96207367beb7d52e4049f16db7bde RED
-objectives.html ce46e9524a6c825638c9ad24e65311dbe13268bd RED
-platform_synthesis.html d8440d5767ba75211e701f278c91cd63153446f8 RED
-schedule_synthesis.html 6b37a2350cee82edbe6d0f64fee814aa17b37dc5 RED
-visualization.html 399b64d6ad355a7ccde78e908e439dc6bac51a95 RED
+constraints.html 5caa01a56af1918f1897882c796ca6abbf24dad4 RED
+deployment_synthesis.html 8b7bacb1c3b6889f326af12d434b52d30cdc90f0 RED
+dse_dashboard.html 1664f52bda80cc39f9c04744803cd65f52216bbf RED
+dse_perspective.html d797fac721b96207367beb7d52e4049f16db7bde RED
+objectives.html ce46e9524a6c825638c9ad24e65311dbe13268bd RED
+platform_synthesis.html d8440d5767ba75211e701f278c91cd63153446f8 RED
+schedule_synthesis.html 6b37a2350cee82edbe6d0f64fee814aa17b37dc5 RED
+visualization.html 586976a10e73de60e1c07c673e857afaec6bb1d7 RED
diff --git a/org.fortiss.af3.rcp.help/html/dse/visualization.html b/org.fortiss.af3.rcp.help/html/dse/visualization.html
index 399b64d6ad355a7ccde78e908e439dc6bac51a95..586976a10e73de60e1c07c673e857afaec6bb1d7 100644
--- a/org.fortiss.af3.rcp.help/html/dse/visualization.html
+++ b/org.fortiss.af3.rcp.help/html/dse/visualization.html
@@ -15,7 +15,7 @@ The visualization method can be selected from the column on the right.
<br>
In the figure, you can find an overview of the different visualization options for the result of a schedule synthesis.
<br>
-<img src="pictures/visualization.png", width = "100%">
+<img src="pictures/Visualization.png", width = "100%">
<br>
In the Table view, it is also possible to <i>Select</i> the result of the synthesis for use in later steps of the design space exploration as well as to <i>Export</i> it as an artefact in the AF3 project.
</body>
diff --git a/org.fortiss.af3.rcp.help/html/getting_started.html b/org.fortiss.af3.rcp.help/html/getting_started.html
index 4f29d33898f756c5483d6fc79e8decbe1bae17e6..97a1800076916476df3440df05ee5739ba60f45f 100644
--- a/org.fortiss.af3.rcp.help/html/getting_started.html
+++ b/org.fortiss.af3.rcp.help/html/getting_started.html
@@ -1,234 +1,234 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
-<html xmlns="http://www.w3.org/1999/xhtml">
-<head><!--
-Getting started help page.
-
- @author becker
- @ConQAT.Rating YELLOW Hash: 5E4F6D0999163FA8E7D1A1CD1A064658
--->
- <meta content="text/html; charset=utf-8" http-equiv="Content-Type" />
- <meta content="This user documentation for AutoFOCUS3, a CASE tool developed by fortiss for the model-based development of embedded systems." name="description" />
- <meta content="autofocus,fortiss" name="keywords" />
- <title>AutoFOCUS3-Focus On The System</title>
- <link href="gettingStarted/ie6.css" rel="stylesheet" type="text/css" />
- <link href="gettingStarted/main_style.css" rel="stylesheet" type="text/css" />
- <style type="text/css">body {
- background-image: repeating-linear-gradient(darkgray 5px, gray, darkgray 10px);
- margin-top: 20px;
- }
- </style>
-</head>
-<body class="main_style"><!-- start #container -->
-<div id="container"><!-- start #header -->
-<div id="header">
-<table border="0" cellpadding="0" cellspacing="0" height="137" width="900">
- <tbody>
- <tr>
- <td valign="top" width="160"><!-- start #logo -->
- <div id="logo"><!--
- <a href="https://af3.fortiss.org" title="Home" target="_self"></a>
- --><!-- end #logo --></div>
- </td>
- <td valign="top" width="704"><!-- start #topright -->
- <div id="topright"><!-- end #topright --></div>
- </td>
- </tr>
- </tbody>
-</table>
-</div>
-<!-- end #header --><!-- start #maincontent --><br />
-
-<div id="maincontent">
-<table align="center" border="0" cellpadding="0" cellspacing="0" height="100%" width="900">
- <tbody>
- <tr>
- <td valign="top" width="900"><!-- start ,mainfeatures -->
- <div class="background">
- <table border="0" cellpadding="0" cellspacing="0" width="100%">
- <tbody>
- <tr>
- <td>
- <h1>AutoFOCUS3 (AF3) Overview</h1>
- </td>
- </tr>
- <tr>
- <td valign="top">
- <table align="center" border="0" bordercolor="#7290aa" cellpadding="0" cellspacing="0" style="border-style: solid; border-collapse: collapse; border-spacing: 0;" width="98%">
- <tbody>
- <tr>
- <td height="100%" valign="top">
- <table align="center" border="1" bordercolor="#7290aa" cellpadding="0" cellspacing="0" style="border-style: solid; border-collapse: collapse; border-spacing: 0;" width="98%">
- <tbody>
- <tr>
- <td align="center" bgcolor="#c7d2dc" width="50%">
- <h2>Requirements Engineering</h2>
- </td>
- <td align="center" bgcolor="#c7d2dc" width="50%">
- <h2>Modeling and Simulation</h2>
- </td>
- </tr>
- <tr>
- <td align="center" valign="top"><br />
- <img alt="" border="1" height="200" src="gettingStarted/img/req2.png" width="200" /><br />
-
- <p style="margin-left: 50px;"><a href="MIRA.what_is_MIRA.html">What is MIRA?</a><br />
- <a href="MIRA.requirements_analysis.html">Requirements Analysis</a><br />
- <a href="MIRA.glossary.html">Glossary</a><br />
- <a href="MIRA.requirement_source.html">Requirement Sources</a><br />
- <a href="MIRA.requirements.html">Requirements</a><br />
- <a href="MSC.html">Message Sequence Charts</a><br />
- <a href="MIRA.aspects.html">Aspects</a></p>
-
- <p style="margin-left: 320px;"> </p>
- </td>
- <td align="center" valign="top"><br />
- <img alt="" border="1" height="200" src="gettingStarted/img/sim.png" width="200" /><br />
-
- <p style="margin-left: 50px;"><a href="model_element_attributes.html">Introduction to Graphical Modeling Interface</a><br />
- <a href="component_architecture.html">Component Architecture Modeling</a><br />
- <a href="data_dictionary.html">Data Dictionary: Types and Functions</a><br />
- Behavior Modeling<br />
- <a href="code_specification.html"> - Code Specifications</a><br />
- <a href="state_automaton.html"> - State Automata</a> and <a href="hierarchical_state_automaton.html">Hierarchical State Automata</a><br />
- <a href="mode_automaton.html"> - Mode Automata</a><br />
- Simulation<br />
- <a href="simulation_with_af3.html"> - Simulation</a><br />
- <a href="operatorpanels.html"> - Operator Panels</a> (<a href="operatorpanels_advanced.html">advanced interface</a>)<br />
- <a href="cosimulation_with_af3.html"> - Co-Simulation and FMI Support</a><font color="#ff0000"> </font><br />
- <a href="library.html">Libraries</a><br />
- <a href="refinement.html">Refinement</a><br />
- <a href="refactoring.html">Refactoring</a><br />
- </p>
- </td>
- </tr>
- <tr>
- <td align="center" bgcolor="#c7d2dc" valign="middle">
- <h2>Deployment and Code Generation</h2>
- </td>
- <td align="center" bgcolor="#c7d2dc" valign="middle">
- <h2>Design Space Exploration (DSE)</h2>
- </td>
- </tr>
- <tr>
- <td align="center" height="271" valign="top"><br />
- <img alt="" border="1" height="200" hspace="80" src="gettingStarted/img/codedepl.png" width="200" /><br />
-
- <p style="margin-left: 50px;"><a href="ta/technical_viewpoint.html">Technical Architecture Modeling</a><br />
- <a href="ta/platform_architecture.html"> - Platform Architecture</a><br />
- <a href="ta/task_architecture.html"> - Task Architecture</a><br />
- <a href="ta/partition_architecture.html"> - Partition Architecture</a><br />
- <a href="ta/allocations.html"> - Deployments / Allocations</a><br />
- <a href="ta/code_generation.html">Code Generation</a></p>
- </td>
- <td align="center" valign="top"><br />
- <img alt="" border="1" height="200" hspace="80" src="gettingStarted/img/dse.png" width="200" /><br />
-
- <p style="margin-left: 50px;">
- <a href="dse/dse_perspective.html">DSE Perspective Overview</a><br/>
- <a href="dse_dashboard.html">DSE Dashboard</a><br />
- <a href="constraints.html">Constraint Modeling</a><br />
- <a href="objectives.html">Objective Modeling</a><br />
- <a href="deployment_synthesis.html">Deployment Synthesis</a><br />
- <a href="schedule_synthesis.html">Schedule Synthesis</a><br />
- <a href="visualization.html">Solution Visualization</a><br />
- </p>
- </td>
- </tr>
- <tr>
- <td align="center" bgcolor="#c7d2dc" width="50%">
- <h2>Testing and Formal Verification</h2>
- </td>
- <td align="center" bgcolor="#c7d2dc" width="50%">
- <h2>Assurance Case Modeling</h2>
- </td>
- </tr>
- <tr>
- <td align="center" valign="top"><br />
- <img alt="" border="1" height="200" hspace="80" src="gettingStarted/img/WAF3verification.png" width="200" /><br />
-
- <p style="margin-left: 50px;"><a href="model_markers_view.html">On-the-fly Checks</a><br />
- <a href="non_determinism_analysis.html">Non-Determinism Analysis</a><br />
- <a href="reachability_analysis.html">Reachability Analysis</a><br />
- <a href="bound_check.html">Bound Checks</a><br />
- <a href="model_checking_with_af3.html">Model Checking</a><br />
- <a href="ocra_contracts.html">OCRA Contracts</a><br />
- <a href="mcdc.html">MCDC Test Case Generation</a><br />
- <a href="refinement_testing.html">Refinement Testing</a></p>
- </td>
- <td align="center" valign="top"><br />
- <img alt="" border="1" height="200" src="assuranceCases/pictures/SC.23.png" width="200" /><br />
- <br />
- <p style="margin-left: 320px;"> </p>
- <p style="margin-left: 50px;">
- <a href="assuranceCases/creation.html">Creation of Modular Assurance Cases</a><br/>
- <a href="assuranceCases/assessment.html">Assessment</a><br />
- <a href="assuranceCases/maintenance.html">Change Impact Analysis</a><br />
- <a href="assuranceCases/reports.html">Reporting</a><br />
- </p>
- <p style="margin-left: 320px;"> </p>
- </td>
- </tr>
- <tr>
- <td align="center" bgcolor="#c7d2dc" width="50%">
- <h2>FOCUSer - FOCUS procEss AwaReness</h2>
- </td>
- <td align="center" bgcolor="#c7d2dc" width="50%">
- <h2>Further Resources</h2>
- </td>
- </tr>
- <tr>
- <td align="center" valign="top"><br />
- <a href="process.html"><img alt="" border="1" height="200" hspace="80" src="gettingStarted/img/FOCUSer.png" width="200"/></a><br/>
- <br />
- <p style="margin-left: 50px;"><a href="process.html">Introduction</a><br/>
- <a href="process_definition.html">Defining Processes</a><br/>
- <a href="process_usage.html">Using Processes</a><br/>
- <a href="process_constraints.html">Supported Constraints</a><br/></p>
- </td>
- <td align="center" valign="top"><br />
- <img alt="" border="1" hspace="80" src="gettingStarted/img/af3_logo.png" width="200" /><br />
- <br />
- <p style="margin-left: 50px;">Resources for Users<br />
- - <a class="email" href="mailto:af_user@lists.fortiss.org">Users Mailing List</a>: subscribe <a href="https://af3-developer.fortiss.org/projects/autofocus3/wiki/MailinglistSubscription%23" target="_blank">here</a><br />
- - <a href="https://af3.fortiss.org/" target="_blank">AF3 Website</a><br />
- - <a href="https://af3.fortiss.org/docs/screencasts/" target="_blank">Screencasts</a><br />
- - <a href="https://af3.fortiss.org/docs/tutorials/" target="_blank">Tutorials</a><br />
- - <a href="https://af3.fortiss.org/research/" target="_blank">Research Papers</a><br />
- - <a href="tipsAndTricks.html">Tips & Tricks</a><br />
- - <a href="af3_faq.html">FAQ</a><br />
- </p>
- <p style="margin-left: 50px;">Resources for Developers<br />
- - <a class="email" href="mailto:af_devel@lists.fortiss.org">Developers Mailing List</a>: subscribe <a href="https://af3-developer.fortiss.org/projects/autofocus3/wiki/MailinglistSubscription%23" target="_blank">here</a><br />
- - <a href="https://af3-developer.fortiss.org/projects/autofocus3/wiki/Developers_documentation" target="_blank">Developers Documentation Overview</a><br />
- - <a href="https://af3-developer.fortiss.org/projects/autofocus3/wiki/AF3_Developer_Installation" target="_blank">AF3 Developer Installation</a><br />
- </p>
- </td>
- </tr>
- </tbody>
- </table>
- </td>
- </tr>
- </tbody>
- </table>
- </td>
- </tr>
- </tbody>
- </table>
-
- <center>
- <p style="text-align:center"><br/>For more details see our <a href="http://af3.fortiss.org/docs/screencasts/" target="_self">screencasts</a> and <a href="http://af3.fortiss.org/docs/tutorials/" target="_self">tutorials</a>.</p>
- </center>
- <!-- end .mainfeatures --></div>
- </td>
- </tr>
- </tbody>
-</table>
-<!-- end #mainContent --></div>
-<!-- start #footer -->
-
-<div id="footer">
-<p style="text-align:center">© 2019 <a href="https://www.fortiss.org/" target="_self">fortiss GmbH</a> - Research Institute of the Free State of Bavaria associated with <a href="https://www.tum.de/" targe="_self">Technical University of Munich</a></p>
-<!-- end #footer --></div>
-<!-- end #container --></div>
-</body>
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head><!--
+Getting started help page.
+
+ @author becker
+ @ConQAT.Rating YELLOW Hash: 5E4F6D0999163FA8E7D1A1CD1A064658
+-->
+ <meta content="text/html; charset=utf-8" http-equiv="Content-Type" />
+ <meta content="This user documentation for AutoFOCUS3, a CASE tool developed by fortiss for the model-based development of embedded systems." name="description" />
+ <meta content="autofocus,fortiss" name="keywords" />
+ <title>AutoFOCUS3-Focus On The System</title>
+ <link href="gettingStarted/ie6.css" rel="stylesheet" type="text/css" />
+ <link href="gettingStarted/main_style.css" rel="stylesheet" type="text/css" />
+ <style type="text/css">body {
+ background-image: repeating-linear-gradient(darkgray 5px, gray, darkgray 10px);
+ margin-top: 20px;
+ }
+ </style>
+</head>
+<body class="main_style"><!-- start #container -->
+<div id="container"><!-- start #header -->
+<div id="header">
+<table border="0" cellpadding="0" cellspacing="0" height="137" width="900">
+ <tbody>
+ <tr>
+ <td valign="top" width="160"><!-- start #logo -->
+ <div id="logo"><!--
+ <a href="https://af3.fortiss.org" title="Home" target="_self"></a>
+ --><!-- end #logo --></div>
+ </td>
+ <td valign="top" width="704"><!-- start #topright -->
+ <div id="topright"><!-- end #topright --></div>
+ </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end #header --><!-- start #maincontent --><br />
+
+<div id="maincontent">
+<table align="center" border="0" cellpadding="0" cellspacing="0" height="100%" width="900">
+ <tbody>
+ <tr>
+ <td valign="top" width="900"><!-- start ,mainfeatures -->
+ <div class="background">
+ <table border="0" cellpadding="0" cellspacing="0" width="100%">
+ <tbody>
+ <tr>
+ <td>
+ <h1>AutoFOCUS3 (AF3) Overview</h1>
+ </td>
+ </tr>
+ <tr>
+ <td valign="top">
+ <table align="center" border="0" bordercolor="#7290aa" cellpadding="0" cellspacing="0" style="border-style: solid; border-collapse: collapse; border-spacing: 0;" width="98%">
+ <tbody>
+ <tr>
+ <td height="100%" valign="top">
+ <table align="center" border="1" bordercolor="#7290aa" cellpadding="0" cellspacing="0" style="border-style: solid; border-collapse: collapse; border-spacing: 0;" width="98%">
+ <tbody>
+ <tr>
+ <td align="center" bgcolor="#c7d2dc" width="50%">
+ <h2>Requirements Engineering</h2>
+ </td>
+ <td align="center" bgcolor="#c7d2dc" width="50%">
+ <h2>Modeling and Simulation</h2>
+ </td>
+ </tr>
+ <tr>
+ <td align="center" valign="top"><br />
+ <img alt="" border="1" height="200" src="gettingStarted/img/req2.png" width="200" /><br />
+
+ <p style="margin-left: 50px;"><a href="MIRA.what_is_MIRA.html">What is MIRA?</a><br />
+ <a href="MIRA.requirements_analysis.html">Requirements Analysis</a><br />
+ <a href="MIRA.glossary.html">Glossary</a><br />
+ <a href="MIRA.requirement_source.html">Requirement Sources</a><br />
+ <a href="MIRA.requirements.html">Requirements</a><br />
+ <a href="MSC.html">Message Sequence Charts</a><br />
+ <a href="MIRA.aspects.html">Aspects</a></p>
+
+ <p style="margin-left: 320px;"> </p>
+ </td>
+ <td align="center" valign="top"><br />
+ <img alt="" border="1" height="200" src="gettingStarted/img/sim.png" width="200" /><br />
+
+ <p style="margin-left: 50px;"><a href="model_element_attributes.html">Introduction to Graphical Modeling Interface</a><br />
+ <a href="component_architecture.html">Component Architecture Modeling</a><br />
+ <a href="data_dictionary.html">Data Dictionary: Types and Functions</a><br />
+ Behavior Modeling<br />
+ <a href="code_specification.html"> - Code Specifications</a><br />
+ <a href="state_automaton.html"> - State Automata</a> and <a href="hierarchical_state_automaton.html">Hierarchical State Automata</a><br />
+ <a href="mode_automaton.html"> - Mode Automata</a><br />
+ Simulation<br />
+ <a href="simulation_with_af3.html"> - Simulation</a><br />
+ <a href="operatorpanels.html"> - Operator Panels</a> (<a href="operatorpanels_advanced.html">advanced interface</a>)<br />
+ <a href="cosimulation_with_af3.html"> - Co-Simulation and FMI Support</a><font color="#ff0000"> </font><br />
+ <a href="library.html">Libraries</a><br />
+ <a href="refinement.html">Refinement</a><br />
+ <a href="refactoring.html">Refactoring</a><br />
+ </p>
+ </td>
+ </tr>
+ <tr>
+ <td align="center" bgcolor="#c7d2dc" valign="middle">
+ <h2>Deployment and Code Generation</h2>
+ </td>
+ <td align="center" bgcolor="#c7d2dc" valign="middle">
+ <h2>Design Space Exploration (DSE)</h2>
+ </td>
+ </tr>
+ <tr>
+ <td align="center" height="271" valign="top"><br />
+ <img alt="" border="1" height="200" hspace="80" src="gettingStarted/img/codedepl.png" width="200" /><br />
+
+ <p style="margin-left: 50px;"><a href="ta/technical_viewpoint.html">Technical Architecture Modeling</a><br />
+ <a href="ta/platform_architecture.html"> - Platform Architecture</a><br />
+ <a href="ta/task_architecture.html"> - Task Architecture</a><br />
+ <a href="ta/partition_architecture.html"> - Partition Architecture</a><br />
+ <a href="ta/allocations.html"> - Deployments / Allocations</a><br />
+ <a href="ta/code_generation.html">Code Generation</a></p>
+ </td>
+ <td align="center" valign="top"><br />
+ <img alt="" border="1" height="200" hspace="80" src="gettingStarted/img/DSE.png" width="200" /><br />
+
+ <p style="margin-left: 50px;">
+ <a href="dse/dse_perspective.html">DSE Perspective Overview</a><br/>
+ <a href="dse_dashboard.html">DSE Dashboard</a><br />
+ <a href="constraints.html">Constraint Modeling</a><br />
+ <a href="objectives.html">Objective Modeling</a><br />
+ <a href="deployment_synthesis.html">Deployment Synthesis</a><br />
+ <a href="schedule_synthesis.html">Schedule Synthesis</a><br />
+ <a href="visualization.html">Solution Visualization</a><br />
+ </p>
+ </td>
+ </tr>
+ <tr>
+ <td align="center" bgcolor="#c7d2dc" width="50%">
+ <h2>Testing and Formal Verification</h2>
+ </td>
+ <td align="center" bgcolor="#c7d2dc" width="50%">
+ <h2>Assurance Case Modeling</h2>
+ </td>
+ </tr>
+ <tr>
+ <td align="center" valign="top"><br />
+ <img alt="" border="1" height="200" hspace="80" src="gettingStarted/img/WAF3verification.png" width="200" /><br />
+
+ <p style="margin-left: 50px;"><a href="model_markers_view.html">On-the-fly Checks</a><br />
+ <a href="non_determinism_analysis.html">Non-Determinism Analysis</a><br />
+ <a href="reachability_analysis.html">Reachability Analysis</a><br />
+ <a href="bound_check.html">Bound Checks</a><br />
+ <a href="model_checking_with_af3.html">Model Checking</a><br />
+ <a href="ocra_contracts.html">OCRA Contracts</a><br />
+ <a href="mcdc.html">MCDC Test Case Generation</a><br />
+ <a href="refinement_testing.html">Refinement Testing</a></p>
+ </td>
+ <td align="center" valign="top"><br />
+ <img alt="" border="1" height="200" src="assuranceCases/pictures/SC.23.png" width="200" /><br />
+ <br />
+ <p style="margin-left: 320px;"> </p>
+ <p style="margin-left: 50px;">
+ <a href="assuranceCases/creation.html">Creation of Modular Assurance Cases</a><br/>
+ <a href="assuranceCases/assessment.html">Assessment</a><br />
+ <a href="assuranceCases/maintenance.html">Change Impact Analysis</a><br />
+ <a href="assuranceCases/reports.html">Reporting</a><br />
+ </p>
+ <p style="margin-left: 320px;"> </p>
+ </td>
+ </tr>
+ <tr>
+ <td align="center" bgcolor="#c7d2dc" width="50%">
+ <h2>FOCUSer - FOCUS procEss AwaReness</h2>
+ </td>
+ <td align="center" bgcolor="#c7d2dc" width="50%">
+ <h2>Further Resources</h2>
+ </td>
+ </tr>
+ <tr>
+ <td align="center" valign="top"><br />
+ <a href="process.html"><img alt="" border="1" height="200" hspace="80" src="gettingStarted/img/FOCUSer.png" width="200"/></a><br/>
+ <br />
+ <p style="margin-left: 50px;"><a href="process.html">Introduction</a><br/>
+ <a href="process_definition.html">Defining Processes</a><br/>
+ <a href="process_usage.html">Using Processes</a><br/>
+ <a href="process_constraints.html">Supported Constraints</a><br/></p>
+ </td>
+ <td align="center" valign="top"><br />
+ <img alt="" border="1" hspace="80" src="gettingStarted/img/af3_logo.png" width="200" /><br />
+ <br />
+ <p style="margin-left: 50px;">Resources for Users<br />
+ - <a class="email" href="mailto:af_user@lists.fortiss.org">Users Mailing List</a>: subscribe <a href="https://af3-developer.fortiss.org/projects/autofocus3/wiki/MailinglistSubscription%23" target="_blank">here</a><br />
+ - <a href="https://af3.fortiss.org/" target="_blank">AF3 Website</a><br />
+ - <a href="https://af3.fortiss.org/docs/screencasts/" target="_blank">Screencasts</a><br />
+ - <a href="https://af3.fortiss.org/docs/tutorials/" target="_blank">Tutorials</a><br />
+ - <a href="https://af3.fortiss.org/research/" target="_blank">Research Papers</a><br />
+ - <a href="tipsAndTricks.html">Tips & Tricks</a><br />
+ - <a href="af3_faq.html">FAQ</a><br />
+ </p>
+ <p style="margin-left: 50px;">Resources for Developers<br />
+ - <a class="email" href="mailto:af_devel@lists.fortiss.org">Developers Mailing List</a>: subscribe <a href="https://af3-developer.fortiss.org/projects/autofocus3/wiki/MailinglistSubscription%23" target="_blank">here</a><br />
+ - <a href="https://af3-developer.fortiss.org/projects/autofocus3/wiki/Developers_documentation" target="_blank">Developers Documentation Overview</a><br />
+ - <a href="https://af3-developer.fortiss.org/projects/autofocus3/wiki/AF3_Developer_Installation" target="_blank">AF3 Developer Installation</a><br />
+ </p>
+ </td>
+ </tr>
+ </tbody>
+ </table>
+ </td>
+ </tr>
+ </tbody>
+ </table>
+ </td>
+ </tr>
+ </tbody>
+ </table>
+
+ <center>
+ <p style="text-align:center"><br/>For more details see our <a href="http://af3.fortiss.org/docs/screencasts/" target="_self">screencasts</a> and <a href="http://af3.fortiss.org/docs/tutorials/" target="_self">tutorials</a>.</p>
+ </center>
+ <!-- end .mainfeatures --></div>
+ </td>
+ </tr>
+ </tbody>
+</table>
+<!-- end #mainContent --></div>
+<!-- start #footer -->
+
+<div id="footer">
+<p style="text-align:center">© 2019 <a href="https://www.fortiss.org/" target="_self">fortiss GmbH</a> - Research Institute of the Free State of Bavaria associated with <a href="https://www.tum.de/" targe="_self">Technical University of Munich</a></p>
+<!-- end #footer --></div>
+<!-- end #container --></div>
+</body>
</html>
\ No newline at end of file