This package contains the temporal logics specification elements prototype provider.