diff --git a/README.rst b/README.rst index 9d2e50ee20be4b04a5e6c58a0879c289eb076b8b..3eb7c812e38c5d0b67d656613cd34a052ef4e5a7 100644 --- a/README.rst +++ b/README.rst @@ -22,7 +22,9 @@ As a back-end, it supports * Model checking, using Petri Net `Tina `_, and `LNT `_ * Constraint analysis, using the REAL annex language -It can be integrated with the `AADLib `_ library of AADL components, and through a `OSATE2 plugin `_ +It can be integrated with the `AADLib `_ library of AADL components. + +It can also be embedded in AADL editors: in `OSATE `_ using the `OSATE2 plugin `_, and `AADL Inspector `_ Installation: -------------